Your search returned 2 results.

Results
	1.	Automated Technology for Verification and Analysis [electronic resource] : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund. by Chakraborty, Supratik [edt] Mukund, Madhavan [edt] Series: Lecture Notes in Computer Science ; 7561 Material type: Text; Format: electronic available online ; Literary form: Not fiction Language: English Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012 Online resources: Click here to access online Availability: Items available for loan: National Library of India (1). Place hold Request article Save to lists
	2.	Automated technology for verification and analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012 : proceedings / Supratik Chakraborty, Madhavan Mukund by Automated Technology for verification and analysis (ATVA 2012 ) (2012 : Trivandrum, India) Chakraborty, Supratik [eds.] Mukund, Madhavan [eds.] Series: Lecture notes in computer science ; 7561. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Language: English Publication details: Dordrecht, The Netherlands : Springer, c2012 Availability: Items available for loan: National Library of India (1)Call number: E 006.3 Au 82. Place hold Request article Save to lists

Refine your search