Automating Software Re-engineering - Introduction to the ISoLA 2022 Track
Title | Automating Software Re-engineering - Introduction to the ISoLA 2022 Track |
Publication Type | Bücher und Tagungsbände (erschienen) |
Year of Publication | 2022 |
Authors | Demeyer, S, Hähnle, R, Mantel, H |
Conference Name | Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA) |
Pages | 195-200 |
Publisher | Springer |
DOI | 10.1007/978-3-031-19756-7_11 |
Undefined