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.

Exchanging Verification Witnesses between Verifiers

Dirk Beyer 0001, Matthias Dangl, Daniel Dietsch, Matthias Heizmann. Exchanging Verification Witnesses between Verifiers. In Jan Jürjens, Kurt Schneider, editors, Software Engineering 2017, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-24. Februar 2017, Hannover, Deutschland. Volume P-267 of LNI, pages 93-94, GI, 2017.

Possibly Related Publications

The following publications are possibly variants of this publication:

runs on