ATVA 2012: International Symposium on Automated Technology for Verification and Analysis - researchr conference

researchr

You are not signed in
Sign in
Sign up

in ,

Supratik Chakraborty, Madhavan Mukund, editors, Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Volume 7561 of Lecture Notes in Computer Science, Springer, 2012.

runs on WebDSL