Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
- 1
|
A Certified Multi-prover Verification Condition Generator[Research Report] RR-7793, INRIA. 2011, pp.22
Rapport
hal-00639977v1
|