Special Tack "Automated Software Re-Engineering" bei ISoLA 2022

  • Veröffentlicht am: 9 Dezember, 2022 - 14:16

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. Der Tagungsband ist in der LNCS-Reihe von Springer erschienen.