Automated Technology for Verification and Analysis
Subtitle: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings
By: edited by Supratik Chakraborty, Madhavan Mukund
Contributors: Mukund, Madhavan; SpringerLink (Online service)
Series: Lecture Notes in Computer Science
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2012
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642333866
Subjects: Programming Techniques; Software engineering; Computer networks; Software Engineering/Programming and Operating Systems; Logic design; Logics and Meanings of Programs; Computer science; Programming Languages, Compilers, Interpreters