Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings (Lecture Notes in Computer Science, Band 8837)

von: Franck Cassez · Jean-Francois Raskin Taschenbuch Details (Deutschland) EAN=ISBN-13: 978-3-319-11935-9 ISBN-10: 3-319-11935-4 Springer · 2014