Automated Technology for Verification and Analysis [E-Book]: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings / edited by Supratik Chakraborty, Madhavan Mukund.
Chakraborty, Supratik.
Mukund, Madhavan.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642333866
10.1007/978-3-642-33386-6
Lecture notes in computer science
Full Text
Description not available.