Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, Proceedings, Part II
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, Proceedings, Part II
ISBN
978-3-319-47169-3
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-319-47169-3
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
9953