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 ; .
<br/><br/>Includes bibliographical references and index. 
<br/><br/><br/>Electronic reproduction. <br/>New York : <br/>Springer, <br/>2008. <br/>Mode of access: World Wide Web. <br/>System requirements: Web browser. <br/>Title from title screen (viewed on Jan. 24, 2008). <br/>Access may be restricted to users at subscribing institutions. 
<br/><br/><label>ISBN: </label>9783540697381 (electronic bk.) 9783540697350 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer programs--Verification--Congresses.<br/>Computer Science.<br/>Logics and Meanings of Programs.<br/>Programming Languages, Compilers, Interpreters.<br/>Software Engineering.
<br/><br/><label>Dewey Class. No.: </label>005.14