Wang, Farn. <br/><br/>
Automated Technology for Verification and Analysis  Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004. Proceedings / 
edited by Farn Wang. 
 - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan 
<br/><br/><label>ISBN: </label>9783540304760 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.; Computer Communication Networks.; Software engineering.; Logic design.; Information systems.; Computer Science.; Logics and Meanings of Programs.; Information Systems and Communication Service.; Computer Communication Networks.; Special Purpose and Application-Based Systems.; Software Engineering.; Programming Languages, Compilers, Interpreters.