• Theory and Implementation of S...
  • Bestand

Treffer: Theory and Implementation of Software Bounded Model Checking

Titel:
Theory and Implementation of Software Bounded Model Checking / Florian Merz ; Betreuer: C. Sinz
Beteiligt:
Merz, Florian (Verfasser) ; Sinz, C. (Akademischer Betreuer)
Veröffent­licht:
Karlsruhe : KIT-Bibliothek, 2016
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Karlsruhe, Karlsruher Institut für Technologie (KIT), 2016
Schlagworte:

Zusatz-Informationen

Zusatz-Funktionen