Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
  • Witness-based validation of ve...
  • Beschreibung

Treffer: Witness-based validation of verification results with applications to software-model checking

Titel:
Witness-based validation of verification results with applications to software-model checking / Matthias Dangl ; Betreuer: Dirk Beyer
Beteiligt:
Dangl, Matthias (Verfasser) ; Beyer, Dirk (Akademischer Betreuer)
Veröffent­licht:
München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2022
Umfang:
1 Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, München, Ludwig-Maximilians-Universität, 2022
Schlagworte:
DOI:
10.5282/edoc.31508

Zusatz-Informationen

Zusatz-Funktionen