Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings (Lecture Notes in Computer Science, Band 7561)
von:
Madhavan Mukund
· Supratik Chakraborty
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-33385-9
ISBN-10: 3-642-33385-0
Springer
· 2012
