Treffer: Interpolation in software model checking and fault localization

Titel:

Interpolation in software model checking and fault localization = Interpolation in Software Model Checking und Defektlokalisierung

Verantwortlich:

Veröffentlicht:

Freiburg : Universität, 2014

Umfang:

Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

Dissertation, Albert-Ludwigs-Universität Freiburg, 2014

Zusatz-Informationen