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.

An Interaction Concept for Program Verification Systems with Explicit Proof Object

Bernhard Beckert, Sarah Grebing, Mattias Ulbrich. An Interaction Concept for Program Verification Systems with Explicit Proof Object. In Ofer Strichman, Rachel Tzoref-Brill, editors, Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings. Volume 10629 of Lecture Notes in Computer Science, pages 163-178, Springer, 2017. [doi]

Authors

Bernhard Beckert

This author has not been identified. Look up 'Bernhard Beckert' in Google

Sarah Grebing

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

Mattias Ulbrich

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