Bibliothek Systemsoftware
Benutzer Paßwort

SSW-Bibliothek / Publikations-Detailinformation
Verification, Model Checking, and Abstract Interpretation  
9th International Conference, VMCAI 2008
ISBN:
Ausgabe: 2008
Ausgabejahr: 2008
Autor(en): Francesco Logozzo ,  Doron A. Peled ,  Lenore D. Zuck
Verlag: Springer
Publikationstyp: Proceeding
Publikationskategorie: 0.2 0.2 Tagungsbände
SSW-Nummer: 1557
Bibliothek: SSW-Bibliothek
Standort: SSW-Bibliothek
Stichwörter:
Kurzbeschreibung: