Automated technology for verification and analysis :  10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / 
Supratik Chakraborty, Madhavan Mukund 
 - Dordrecht, The Netherlands  :  Springer,  c2012 
 - xiv, 436 p. :  ill. ;  24 cm. 
 - Lecture notes in computer science ;  7561. .
<br/><br/>Includes bibliographical references and index 
<br/><br/><label>ISBN: </label>9783642333859 (pbk.)  € 62.00 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses.<br/>Artificial intelligence--Congresses
<br/><br/><label>Dewey Class. No.: </label>006.3