Olga Thoss, Andreas Werner, Robert Kaiser, Reinhold Kröger. Unified Approach to Static and Runtime Verification. 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 995-1002, GI, 2020. [doi]
Abstract is missing.