Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /

Dettagli Bibliografici
Autore principale: Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (edición)
Natura: Libro
Lingua:inglese
Pubblicazione: Berlín, Alemania : Springer, 2008, c2008
Serie:(Lecture Notes in Computer Science)
Accesso online:Ver documento en línea