TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

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]

Mürk, Oleg and Larsson, Daniel and Hähnle, Reiner Pfenning, Frank (ed.) (2007):
KeY-C: A Tool for Verification of C Programs.
In: LNCS, 4603, In: Proc. 21st Conference on Automated Deduction (CADE), Bremen, Germany, p. 385,
Springer-Verlag, [Conference or Workshop Item]

This list was generated on Sat Nov 28 01:59:01 2020 CET.