Publications
Found 2 results
Filters: Author is Serge Demeyer [Clear All Filters]
“Automating Software Re-engineering - Introduction to the ISoLA 2022 Track”, Proceedings of the 11th International Symposium on Leveraging Applications of Formal Methods (ISoLA). Springer, pp. 195-200, 2022.
, “Automating Software Re-engineering”, International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). Springer, pp. 72-92, 2020.
,