Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings (Lecture Notes in Computer Science, Band 8044)
von:
Natasha Sharygina
·
Helmut Veith
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-642-39798-1
ISBN-10: 3-642-39798-0
Springer
· 2013
