Special Tack "Automated Software Re-Engineering" bei ISoLA 2022
Vom 24.-28.10.2022 fand das 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation in Rhodos statt.
Bereits zum zweiten mal in Folge fand der durch den LOEWE-Schwerpunkt Software-Factory 4.0 initiierte Special Track "Automated Software Re-Engineering" im Rahmen der Konferenz statt.