@inproceedings{bobot:hal-00790310, TITLE = {{Why3: Shepherd Your Herd of Provers}}, 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-00790310}, BOOKTITLE = {{Boogie 2011: First International Workshop on Intermediate Verification Languages}}, ADDRESS = {Wroclaw, Poland}, PAGES = {53-64}, YEAR = {2011}, PDF = {https://inria.hal.science/hal-00790310/file/main.pdf}, HAL_ID = {hal-00790310}, HAL_VERSION = {v1}, }