Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings Madeira, Alexandre Heftet / 2024 / Engelsk
Radical Innovations of Software and Systems Engineering in the Future 9th International Workshop, RISSEF 2002, Venice, Italy, October 7-11, 2002, Revised Papers Wirsing Martin Heftet / 2004 / Engelsk
