Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings Howar, Falk Heftet / 2018 / Engelsk
Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings Huisman Marieke Heftet / 2024 / Engelsk
