Claude Marché
4
Documents
Affiliations actuelles
Publications
- 4
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 2
|
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
|
|
Preserving User Proofs Across Specification ChangesFifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201
Communication dans un congrès
hal-00875395v1
|
Why3 version 1.0France, N° de brevet: IDDN.FR.001.420003.000.S.P.2019.000.20600. 2018
Brevet
hal-03136256v1
|
|
The Why3 platform 0.812013
Autre publication scientifique
hal-00822856v1
|