*Result*: Witness-based validation of verification results with applications to software-model checking
*Title*:
Witness-based validation of verification results with applications to software-model checking / Matthias Dangl ; Betreuer: Dirk Beyer
*Author/editor-in-chief*:
*Publication*:
München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022
*Physical description scale*:
1 Online-Ressource
*Format*:
*Language*:
*eng*
*Dissertation note*:
Dissertation, München, Ludwig-Maximilians-Universität, 2022
*Subject Added Keywords*:
*DOI*:
10.5282/edoc.31508