Integrated Formal Methods 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings ter Beek, Maurice H. Heftet / 2022 / Engelsk
