Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings (Lecture Notes in Computer Science, Band 7737)

von: Roberto Giacobazzi · Josh Berdine · Isabella Mastroeni Taschenbuch Details (Deutschland) ISBN-13: 978-3-642-35872-2 ISBN-10: 3-642-35872-1 Springer · 2013