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]
No references recorded for this publication.
No citations of this publication recorded.