Serge Demeyer, Reiner Hähnle, Heiko Mantel. Automating Software Re-Engineering Introduction to the ISoLA 2024 Track. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies - 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV. Volume 15222 of Lecture Notes in Computer Science, pages 23-29, Springer, 2024. [doi]
Abstract is missing.