Verification, Model Checking, and Abstract Interpretation :   10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20 2009. Proceedings/ 
edited by Neil D. Jones, Markus Müller-Olm. 
 - Berlin, Heidelberg :   Springer Berlin Heidelberg,   2009. 
 - 380 p. ;  24 cm. 
<br/><br/><label>ISBN: </label>9783540939009  
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science<br/>Logic design<br/>Software engineering<br/>Logics and Meanings of Programs.
<br/><br/><label>LC Class. No.: </label>QA76.5