@inproceedings{mentre:hal-00681781, TITLE = {{Discharging Proof Obligations from Atelier B using Multiple Automated Provers}}, AUTHOR = {Mentr{\'e}, David and March{\'e}, Claude and Filli{\^a}tre, Jean-Christophe and Asuka, Masashi}, URL = {https://inria.hal.science/hal-00681781}, BOOKTITLE = {{ABZ - 3rd International Conference on Abstract State Machines, Alloy, B and Z}}, ADDRESS = {Pisa, Italy}, EDITOR = {Steve Reeves and Elvinia Riccobene}, PUBLISHER = {{Springer}}, YEAR = {2012}, MONTH = Jun, PDF = {https://inria.hal.science/hal-00681781/file/main.pdf}, HAL_ID = {hal-00681781}, HAL_VERSION = {v1}, }