TU Darmstadt / ULB / TUbiblio

Deductive Verifiction of C Programs with KeY-C

Mürk, Oleg and Larsson, Daniel and Hähnle, Reiner
Tews, Hendrik (ed.) (2007):
Deductive Verifiction of C Programs with KeY-C.
In: Proc. {C/C++} Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2007
Editors: Tews, Hendrik
Creators: Mürk, Oleg and Larsson, Daniel and Hähnle, Reiner
Title: Deductive Verifiction of C Programs with KeY-C
Language: German
Title of Book: Proc. {C/C++} Verification Workshop, colocated with Integrated Formal Methods (IFM), Oxford, UK
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: MLH07b
Export:

Optionen (nur für Redakteure)

View Item View Item