TY  - BOOK
AU  - Chakraborty,Supratik
AU  - Mukund,Madhavan
ED  - Automated Technology for verification and analysis (ATVA 2012 )
TI  - Automated technology for verification and analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings 
SN  - 9783642333859 (pbk.)
U1  - 006.3 22
PY  - 2012///
CY  - Dordrecht, The Netherlands
PB  - Springer
KW  - Automatic theorem proving
KW  - Congresses
KW  - Artificial intelligence
N1  - Includes bibliographical references and index
ER  -