@article{bobot:hal-00967132, TITLE = {{Let's Verify This with Why3}}, AUTHOR = {Bobot, Fran{\c c}ois and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-00967132}, JOURNAL = {{International Journal on Software Tools for Technology Transfer}}, PUBLISHER = {{Springer Verlag}}, VOLUME = {17}, NUMBER = {6}, PAGES = {709-727}, YEAR = {2015}, DOI = {10.1007/s10009-014-0314-5}, PDF = {https://inria.hal.science/hal-00967132/file/main.pdf}, HAL_ID = {hal-00967132}, HAL_VERSION = {v1}, }