Automated Technology for Verification and Analysis : 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings - Supratik Chakraborty, Madhavan Mukund ((Lecture Notes in Computer Science))