Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings Madeira, Alexandre Heftet / 2024 / Engelsk
