Integrated Formal Methods
Subtitle: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings
Publisher: Springer International Publishing AG
Published: 2020
Language: eng
ISBN-13: 9783030634605