Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
- 1
|
|
Formal proofs of numerical programsForum Digitéo, Oct 2010, Palaiseau, France
Poster de conférence
inria-00536135v1
|