Tagungsband des Special Track "Automating Software Reengineering"

  • Veröffentlicht am: 9 Dezember, 2020 - 15:01

Der Tagungsband des Special Track "Automating Software Reengineering" beim 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ist in der LNCS-Serie von Springer erschienen. Der Special Track wurde durch den LOEWE-Schwerpunkt Software-Factory 4.0 initiiert. Die Präsentationen des Special Track wurden pandemiebedingt auf 2021 verschoben.