Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

von: Tiziana Margaria · Bernhard Steffen

Taschenbuch

EAN=ISBN-13: 978-3-319-47170-9

ISBN-10: 3-319-47170-8

Springer · 2017