Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Book title Buchtitel
Integrated Formal Methods : 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
ISBN
978-3-030-34967-7
Editor Herausgeber_in
Publisher Herausgeber
Springer
Lecture Notes in Computer Science, Springer
Lecture Notes in Computer Science, Springer
Place of publishing Erscheinungsort
Cham
11918
11918
DOI
10.1007/978-3-030-34968-4
Series Schriftenreihe
Lecture Notes in Computer Science
Volume Band
11918
Results 1-1 of 1 (Search time: 0.002 seconds).