Automating Software Re-engineering
| Titel | Automating Software Re-engineering |
| Publication Type | Bücher und Tagungsbände (erschienen) |
| Year of Publication | 2020 |
| Authors | Demeyer, S, Hähnle, R, Mantel, H |
| Conference Name | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
| Seiten | 72-92 |
| Publisher | Springer |
| DOI | 10.1007/978-3-030-61470-6_1 |
Undefined