%0 Conference Paper %1 conf/gi/HergersbergLNB23 %A Hergersberg, Pauline %A Lippold, Judith %A Nahrstedt, Bastian %A Baar, Thomas %B GI-Jahrestagung %D 2023 %E Klein, Maike %E Krupka, Daniel %E Winter, Cornelia %E Wohlgemuth, Volker %I Gesellschaft für Informatik, Bonn %K dblp %P 265-275 %T Visualization Support for Contracts in VeriFast. %U http://dblp.uni-trier.de/db/conf/gi/gi2023.html#HergersbergLNB23 %V P-337 %@ 978-3-88579-731-9

@inproceedings{conf/gi/HergersbergLNB23, added-at = {2024-03-08T00:00:00.000+0100}, author = {Hergersberg, Pauline and Lippold, Judith and Nahrstedt, Bastian and Baar, Thomas}, biburl = {https://www.bibsonomy.org/bibtex/2a04d2a177a7d0dd6cd4cdd6f19f41a6a/dblp}, booktitle = {GI-Jahrestagung}, crossref = {conf/gi/2023}, editor = {Klein, Maike and Krupka, Daniel and Winter, Cornelia and Wohlgemuth, Volker}, ee = {https://doi.org/10.18420/inf2023_24}, interhash = {0246f530e7970f99d1102284e3300d7c}, intrahash = {a04d2a177a7d0dd6cd4cdd6f19f41a6a}, isbn = {978-3-88579-731-9}, keywords = {dblp}, pages = {265-275}, publisher = {Gesellschaft für Informatik, Bonn}, series = {LNI}, timestamp = {2024-04-09T22:19:04.000+0200}, title = {Visualization Support for Contracts in VeriFast.}, url = {http://dblp.uni-trier.de/db/conf/gi/gi2023.html#HergersbergLNB23}, volume = {P-337}, year = 2023 }