Transferring proof obligations from program verification in KeY to Isabelle/HOL / Nils Buchholz
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Verlag: Karlsruhe, 2024Beschreibung: 1 Online-RessourceGenre/Form: DOI: DOI: 10.5445/IR/1000176239Online-Ressourcen: Hochschulschriftenvermerk: Bachelorarbeit - Karlsruher Institut für Technologie (KIT), 2024 PPN: PPN: 1911192272Dieser Titel hat keine Exemplare