Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Lightweight Interactive Proving inside an Automatic Program Verifier4th Workshop on Formal Integrated Development Environment, 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01936302v1
|
ANSI/ISO C Specification Language Version 1.20CEA List. 2024
Rapport
hal-04523865v1
|