Transferring proof obligations from program verification in KeY to Isabelle/HOL / Nils Buchholz

By: Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe, 2024Description: 1 Online-RessourceGenre/Form: DOI: DOI: 10.5445/IR/1000176239Online resources: Dissertation note: Bachelorarbeit - Karlsruher Institut für Technologie (KIT), 2024 PPN: PPN: 1911192272
No physical items for this record