Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 1
- 1
- 1
- 1
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JMLJournal of Logic and Algebraic Programming, 2004, 58 (1-2), pp.89-106. ⟨10.1016/j.jlap.2003.07.006⟩
Article dans une revue
hal-01984932v1
|
|
Reasoning about Java Programs with Aliasing and Frame ConditionsTheorem Proving in Higher Order Logics, 2005, Oxford, United Kingdom. pp.179-194, ⟨10.1007/11541868_12⟩
Communication dans un congrès
hal-03274993v1
|