Software Engineering and Formal Methods 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings Bianculli, Domenico Heftet / 2025 / Engelsk