Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings (Lecture Notes in Computer Science, Band 8931)

International

von: Deepak D'Souza · Akash Lal · Kim Guldstrand Larsen

Taschenbuch

EAN=ISBN-13: 978-3-662-46080-1

ISBN-10: 3-662-46080-7

Springer · 2015