Special Track "Automating Software Re-Engineering" bei ISoLA 2021

  • Veröffentlicht am: 9 November, 2021 - 14:50

Vom 25.10.-29.10.2021 fand das 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation in Rhodos statt. Im Rahmen des Symposiums fand zum ersten mal der durch den LOEWE-Schwerpunkt Software-Factory 4.0 initiierte Special Track "Automating Software Re-Engineering" statt. Der Tagungsband ist in der LNCS-Reihe von Springer erschienen.