Generating bounded counterexamples for KeY proof obligations / Master Thesis of Mihai Herda
Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Publisher: Karlsruhe, [4th July 2013 – 3rd January 2014]Description: 1 Online-Ressource (xxiii, 112 Seiten) : IllustrationenGenre/Form: Additional physical formats: Erscheint auch als: Generating bounded counterexamples for KeY proof obligations. Druck-Ausgabe Karlsruhe, 2014DOI: DOI: 10.5445/IR/1000055929Online resources: Dissertation note: Masterarbeit - Karlsruher Institut für Technologie (KIT), 2014 PPN: PPN: 1657554449No physical items for this record