Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings (Lecture Notes in Computer Science, Band 10145)

International

von: Ahmed Bouajjani · David Monniaux

Taschenbuch

ISBN: 978-3-319-52233-3

ISBN-10: 3-319-52233-7

Springer · 2017