Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020, Proceedings, Part III
Book title Buchtitel
Leveraging Applications of Formal Methods, Verification and Validation: Applications. ISoLA 2020, Proceedings, Part III
ISBN
978-3-030-61467-6
Editor Herausgeber_in
Publisher Herausgeber
Springer
Springer
Springer
Place of publishing Erscheinungsort
Cham
7609
7609
DOI
10.1007/978-3-030-61467-6
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
12478