Options
Title
Leveraging applications of formal methods, verification and validation. 7th international symposium, ISoLA 2016. Pt.2: Discussion, dissemination, applications
Title Supplement
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Publisher
Publishing Place
Cham
Publication Date
2016
Series
Lecture Notes in Computer Science; 9953
ISBN
978-3-319-47168-6
978-3-319-47169-3