Vincent Christlein, Mathias Seuret, Nikolaus Weichselbaumer. Proof of Concept. In Ralf H. Reussner, Anne Koziolek, Robert Heinrich, editors, 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September - 2. Oktober 2020. Volume P-307 of LNI, pages 1307-1316, GI, 2020. [doi]
Abstract is missing.