Integrated Formal Methods
Subtitle: 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings
Publisher: Springer International Publishing AG
Published: 2022
Language: eng
ISBN-13: 9783031077265