*Result*: Leveraging invariant information towards incremental Software Model Checking
*Title*:
Leveraging invariant information towards incremental Software Model Checking / Martin Spiessl ; Betreuer: Dirk Beyer
*Author/editor-in-chief*:
*Publication*:
München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2024
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, München, Ludwig-Maximilians-Universität, 2024
*Subject Added Keywords*:
*DOI*:
10.5282/edoc.35311