Namjoshi, Kedar S. <br/><br/>
Automated Technology For Verification And Analysis; Second International Conference, ATVA 2004 Taipei Taiwan ROC October 31-November 3 2004 : proceeding 

 - 5th 
 - New York  Springer  2007 
 - 566 
<br/><br/><label>ISBN: </label>9783540755951 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Japanese Language
<br/><br/><label>Dewey Class. No.: </label>AUT