Visualization Support for Contracts in VeriFast. - Pauline Hergersberg; Judith Lippold; Bastian Nahrstedt; Thomas Baar (GI-Jahrestagung, 2023)