Treffer: Leveraging invariant information towards incremental Software Model Checking
Titel:
Leveraging invariant information towards incremental Software Model Checking / Martin Spiessl ; Betreuer: Dirk Beyer
Verantwortlich:
Veröffentlicht:
München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2024
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Hochschulschrift:
Dissertation, München, Ludwig-Maximilians-Universität, 2024
Schlagworte:
DOI:
10.5282/edoc.35311