Automating Software Re-engineering - Introduction to the ISoLA 2022 Track
| Titel | 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) |
| Seiten | 195-200 |
| Publisher | Springer |
| DOI | 10.1007/978-3-031-19756-7_11 |
Undefined