@misc{bobot:hal-00822856, TITLE = {{The Why3 platform 0.81}}, AUTHOR = {Bobot, Fran{\c c}ois and Filli{\^a}tre, Jean-Christophe and March{\'e}, Claude and Melquiond, Guillaume and Paskevich, Andrei}, URL = {https://inria.hal.science/hal-00822856}, NOTE = {Tutorial and Reference Manual}, YEAR = {2013}, MONTH = Mar, PDF = {https://inria.hal.science/hal-00822856/file/manual-0.81.pdf}, HAL_ID = {hal-00822856}, HAL_VERSION = {v1}, }