Treffer: Abstraction refinement techniques for software model checking

Titel:

Verantwortlich:

Entstehung:

2010

Umfang:

1 Online-Ressource

Publikationstyp:

E-Book

Sprache:

Englisch

Hochschulschrift:

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

Schlagworte:

Zusatz-Informationen