UB München OPACplus
SolrQueryCompletionProxy
QueryCompletionProxy
Zurück zur Trefferliste

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

Online Katalog der Universitätsbibliothek der LMU München (1/1)

Ablegen in:
 




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

Autor: Dangl, Matthias
Ort, Verlag, Jahr: München, , 2022
Umfang: 240 Seiten

  • Exemplare
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=holding_tab
  • Bestellung/Vormerkung
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
  • mehr zum Titel
    /TouchPoint/statistic.do
    statisticcontext=fullhit&action=availability_tab
Autor:Dangl, Matthias
Titel:Witness-based validation of verification results with applications to software-model checking
Von:Matthias Dangl
Ort:München
Jahr:2022
Umfang:240 Seiten
Illustrationsangabe:Illustrationen, Diagramme
Hochschulschrift :Dissertation, München, Ludwig-Maximilians-Universität, 2022
BV-Nummer:BV048900327
Andere Ausgabe:Erscheint auch als
Andere Ausgabe:Online-Ausgabe