Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings (Lecture Notes in Computer Science, Band 8172)
von:
Dang Van Hung
· Mizuhito Ogawa
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-319-02443-1
ISBN-10: 3-319-02443-4
Springer
· 2013
