François Bobot, Jean-Christophe Filliâtre, Claude Marché, Andrei Paskevich. Let's Verify This with Why3.
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2015, 17 (6), pp.709-727.
⟨10.1007/s10009-014-0314-5⟩.
⟨hal-00967132⟩