Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings / [electronic resource] :
Byron Cook, Andreas Podelski (eds.).
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
- xi, 394 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 4349 0302-9743 ; .
Includes bibliographical references and index.
Electronic reproduction.
New York :
Springer,
2008.
Mode of access: World Wide Web.
System requirements: Web browser.
Title from title screen (viewed on Jan. 24, 2008).
Access may be restricted to users at subscribing institutions.
9783540697381 (electronic bk.) 9783540697350 (paper)
Computer programs--Verification--Congresses.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
005.14
Includes bibliographical references and index.
Electronic reproduction.
New York :
Springer,
2008.
Mode of access: World Wide Web.
System requirements: Web browser.
Title from title screen (viewed on Jan. 24, 2008).
Access may be restricted to users at subscribing institutions.
9783540697381 (electronic bk.) 9783540697350 (paper)
Computer programs--Verification--Congresses.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Software Engineering.
005.14