Treffer: Model checking software
Titel:
Model checking software : proceedings / 12th International SPIN Workshop, San Francisco, CA, USA, August 22 - 24, 2005. Patrice Godefroid (ed.)
Verantwortlich:
Veröffentlicht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3639
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
Schlagworte:
DOI:
10.1007/11537328