@patent{filliatre:hal-03136256, TITLE = {{Why3 version 1.0}}, AUTHOR = {Filli{\^a}tre, Jean-Christophe and Paskevich, Andrei and Melquiond, Guillaume and March{\'e}, Claude and Bobot, Fran{\c c}ois}, URL = {https://inria.hal.science/hal-03136256}, NUMBER = {IDDN.FR.001.420003.000.S.P.2019.000.20600}, ADDRESS = {France}, YEAR = {2018}, MONTH = Jun, HAL_ID = {hal-03136256}, HAL_VERSION = {v1}, }