Accéder directement au contenu
AP

Andrei Paskevich

1
Documents
Identifiants chercheurs

Présentation

Publications

claude-marche
35708
Image document

Let's Verify This with Why3

François Bobot , Jean-Christophe Filliâtre , Claude Marché , Andrei Paskevich
International Journal on Software Tools for Technology Transfer, 2015, 17 (6), pp.709-727. ⟨10.1007/s10009-014-0314-5⟩
Article dans une revue hal-00967132v1