Publications

Found 2 results
Filters: Autor is Serge Demeyer  [Clear All Filters]
2022
S. Demeyer, Hähnle, R., und Mantel, H., „Automating Software Re-engineering - Introduction to the ISoLA 2022 Track“, Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA). Springer, S. 195-200, 2022.
2020
S. Demeyer, Hähnle, R., und Mantel, H., „Automating Software Re-engineering“, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, S. 72-92, 2020.