Visualization Support for Contracts in VeriFast

Konferenzbeitrag › Konferenzpaper › 2023

Zitation

Hergersberg, Pauline; Lippold, Judith; Nahrstedt, Bastian; Baar, Thomas: Visualization Support for Contracts in VeriFast. In: INFORMATIK 2023 - Designing Futures: Zukünfte gestalten. Hg. von Maike Klein, Daniel Krupka, Cornelia Winter, Volker Wohlgemuth. Bonn: Gesellschaft für Informatik e.V. 2023( Lecture Notes in Informatics (LNI) - Proceedings 337), S. 265-275.

ISSN

1617-5468

ISBN

978-3-88579-731-9

DOI / URN

10.18420/inf2023_24

Link

https://doi.org/10.18420/inf2023_24

Sprache

Englisch

Zitieren

BibTeX / RIS