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: 5.

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]

Larsson, Daniel and Hähnle, Reiner Beckert, Bernhard (ed.) (2007):
Symbolic Fault Injection.
259, In: Proc. 4th International Verification Workshop (Verify) in connection with CADE-21 Bremen, Germany, pp. 85--103,
CEUR Workshop Proceedings, [Conference or Workshop Item]

Larsson, Daniel and Hähnle, Reiner (2006):
Symbolic Fault Injection.
(2006-17), ISBN 1650-3023,
[Report]

Giese, Martin and Hähnle, Reiner and Larsson, Daniel (2004):
Rule-Based Simplification of OCL Constraints.
In: UML 2004 workshop on OCL and Model Driven Engineering,
[Conference or Workshop Item]

This list was generated on Tue Nov 24 02:16:20 2020 CET.