Claude Marché
2
Documents
Affiliations actuelles
Publications
- 2
- 2
- 2
- 2
- 2
|
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
|
|
The Why3 platform 0.812013
Autre publication scientifique
hal-00822856v1
|