Leveraging applications of formal methods, verification and validation: Specialized techniques and applications: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II

Margaria, T., & Steffen, B. (2014). Leveraging applications of formal methods, verification and validation: Specialized techniques and applications: 6th International Symposium, ISoLA 2014 Imperial, Corfu, Greece, October 8-11, 2014 Proceedings, Part II. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8803). Springer Verlag. https://doi.org/10.1007/978-3-662-45231-8