External Links

Cite Key

Statistics

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

PDF

Bibliographies

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.

Seamless Interactive Program Verification

Sarah Grebing, Jonas Klamroth, Mattias Ulbrich. Seamless Interactive Program Verification. In Supratik Chakraborty, Jorge A. Navas, editors, Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers. Volume 12031 of Lecture Notes in Computer Science, pages 68-86, Springer, 2019. [doi]

Authors

Sarah Grebing

This author has not been identified. Look up 'Sarah Grebing' in Google

Jonas Klamroth

This author has not been identified. Look up 'Jonas Klamroth' in Google

Mattias Ulbrich

This author has not been identified. Look up 'Mattias Ulbrich' in Google
runs on