Verification, model checking, and abstract interpretation
Subtitle: 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings
By: Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.).
Contributors: Logozzo, Francesco.; Peled, Doron, 1962-; Zuck, Lenore D., 1958-
Series: Lecture notes in computer science -- 4905
Publisher: Springer
Published: 2008
Place of publication: Berlin; New York
Language: eng
Number of pages: 323
ISBN-13: 9783540781622
Subjects: Computer programs -- Verification -- Congresses
Genres: Congresses.