Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
- 1
|
|
How to Get an Efficient yet Verified Arbitrary-Precision Integer Library9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany. pp.84-101, ⟨10.1007/978-3-319-72308-2_6⟩
Communication dans un congrès
hal-01519732v2
|