Proceedings of the Special Track "Automating Software Reengineering"
The proceedings of the Special Track "Automating Software Reengineering" at the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation were published in Springer's LNCS series. This special track was initiated by Software-Factory 4.0. The in-person presentations of the special track have been postponed to 2021 due to the pandemic.