Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science, Band 6252)
von:
Ahmed Bouajjani
·
Wei-Ngan Chin
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-15642-7
ISBN-10: 3-642-15642-8
Springer
· 2010
