Jones, Neil D. <br/><br/>
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. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540939009 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Software engineering.; Logic design.; Computer Science.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.