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.

Visualization Support for Contracts in VeriFast

Pauline Hergersberg, Judith Lippold, Bastian Nahrstedt, Thomas Baar. Visualization Support for Contracts in VeriFast. In Maike Klein, Daniel Krupka, Cornelia Winter, Volker Wohlgemuth, editors, 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future - Zukünfte gestalten, Berlin, Germany September 26-29, 2023. Volume P-337 of LNI, pages 265-275, Gesellschaft für Informatik, Bonn, 2023. [doi]

Abstract

Abstract is missing.

runs on