Cover Image

Verification, model checking, and abstract interpretation : 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /

Bibliographic Details
Corporate Authors: VMCAI 2008 San Francisco, Calif., SpringerLink (Online service)
Other Authors: Logozzo, Francesco, Peled, Doron A., 1962-, Zuck, Lenore D., 1958-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2008]
Series:Lecture notes in computer science ; 4905.
Subjects:
Computer programs > Verification > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
Description
Item Description:Electronic resource.
Physical Description:x, 323 pages : illustrations ; 24 cm.
ISBN:3540781633
9783540781639
DOI:10.1007/978-3-540-78163-9