{"proceedings":{"@attributes":{"key":"conf\/sefm\/2024","mdate":"2024-12-12"},"editor":["Alexandre Madeira","Alexander Knapp"],"title":"Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings","booktitle":"SEFM","publisher":"Springer","year":"2025","series":"Lecture Notes in Computer Science","volume":"15280","isbn":["978-3-031-77381-5","978-3-031-77382-2"],"ee":"https:\/\/doi.org\/10.1007\/978-3-031-77382-2","url":"db\/conf\/sefm\/sefm2024.html"}}