Claude Marché
1
Documents
Affiliations actuelles
Publications
- 1
- 1
- 1
- 1
|
Static versus Dynamic Verification in Why3, Frama-C and SPARK 20147th International Symposium on Leveraging Applications, Oct 2016, Corfu, Greece. pp.461--478
Communication dans un congrès
hal-01344110v1
|