Special Track "Automating Software Re-Engineering" at ISoLA 2021
From October 25 until October 29, 2021 the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation took place in Rhodes. In the context of the symposium, the Special Track "Automating Software Re-Engineering" that was initiated by Software-Factory 4.0 took place for the first time. The proceedings appeared in Springer's LNCS series.