Accéder directement au contenu

Guillaume Melquiond

2
Documents

Publications

bobot
"tertium"
Image document

Preserving User Proofs Across Specification Changes

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Guillaume Melquiond , Andrei Paskevich
Fifth Working Conference on Verified Software: Theories, Tools and Experiments, May 2013, Atherton, United States. pp.191-201
Communication dans un congrès hal-00875395v1
Image document

The Why3 platform 0.81

 François Bobot , Jean-Christophe Filliâtre , Claude Marché , Guillaume Melquiond , Andrei Paskevich
2013
Autre publication scientifique hal-00822856v1