Title

Leveraging applications of formal methods, verification and validation, ISoLA 2016. Pt.1: Foundational techniques

Title Supplement

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings

Person Involved

Publisher

Publishing Place

Cham

Publication Date

2016

Series

Lecture Notes in Computer Science; 9952

ISBN

978-3-319-47165-5

978-3-319-47166-2

Conference