Theoretical Aspects of Software Engineering 19th International Symposium, TASE 2025, Limassol, Cyprus, July 14–16, 2025, Proceedings Rümmer, Philipp Heftet / 2025 / Engelsk
Automated Technology for Verification and Analysis 20th International Symposium, ATVA 2022, Virtual Event, October 25–28, 2022, Proceedings Bouajjani Ahmed Heftet / 2022 / Engelsk
