External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Unified Approach to Static and Runtime Verification

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]

Authors

Olga Thoss

This author has not been identified. Look up 'Olga Thoss' in Google

Andreas Werner

This author has not been identified. Look up 'Andreas Werner' in Google

Robert Kaiser

This author has not been identified. Look up 'Robert Kaiser' in Google

Reinhold Kröger

This author has not been identified. Look up 'Reinhold Kröger' in Google
runs on