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

Verifikation Programmverifikation Formale Methode Programmanalyse Softwaretest Model Checking Softwareentwicklung Hochschulschrift

Buch + E-Book

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
Sprache:	eng
Hochschulschrift :	Dissertation, München, Ludwig-Maximilians-Universität, 2022
BV-Nummer:	BV048900327

Bitte nutzen Sie den neuen Online-Katalog unter https://opac.ub.lmu.de