Software Engineering and Formal Methods 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings Bianculli, Domenico Heftet / 2025 / Engelsk
Software Engineering and Formal Methods SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers Bianculli, Domenico Heftet / 2016 / Engelsk
