Treffer: Computer aided verification
Titel:
Computer aided verification : 17th international conference ; proceedings / CAV 2005, Edinburgh, Scotland, UK, July 6 - 10, 2005. Kousha Etessami ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 3576
alle Bände anzeigen
alle Bände anzeigen
RVK-Notation:
Schlagworte:
DOI:
10.1007/b138445