Cortesi, Agostino. <br/><br/>
Verification, Model Checking, and Abstract Interpretation  Third International Workshop, VMCAI 2002 Venice, Italy, January 21-22, 2002 Revised Papers / 
edited by Agostino Cortesi. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540478133 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Software engineering.; Logic design.; Computer Science.; Computer Science, general.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.