Integrated Formal Methods. Proceedings of the 16th International Conference, IFM 2020
Book title Buchtitel
Integrated Formal Methods. Proceedings of the 16th International Conference, IFM 2020
ISBN
978-3-030-63461-2
Editor Herausgeber_in
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
Cham
DOI
10.1007/978-3-030-63461-2
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
12546