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:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details