Special Track "Automated Software Reengineering" at ISoLA 2022
From October 24 until October 28, 2022 the 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation took place in Rhodes. Already for the second time, the Special Track "Automated Software Reengineering" that was initiated by Software-Factory 4.0 took place in the context of the symposium.