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]

Authors

Pauline Hergersberg

This author has not been identified. Look up 'Pauline Hergersberg' in Google

Judith Lippold

This author has not been identified. Look up 'Judith Lippold' in Google

Bastian Nahrstedt

This author has not been identified. Look up 'Bastian Nahrstedt' in Google

Thomas Baar

This author has not been identified. It may be one of the following persons: Look up 'Thomas Baar' in Google
runs on