@inproceedings{delahaye:hal-00998092, TITLE = {{The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations}}, AUTHOR = {Delahaye, David and Dubois, Catherine and March{\'e}, Claude and Mentr{\'e}, David}, URL = {https://inria.hal.science/hal-00998092}, BOOKTITLE = {{Abstract State Machines, Alloy, B, VDM, and Z}}, ADDRESS = {Toulouse, France}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {8477}, PAGES = {290-293}, YEAR = {2014}, MONTH = Jun, PDF = {https://inria.hal.science/hal-00998092/file/bware_ABZ_14_.pdf}, HAL_ID = {hal-00998092}, HAL_VERSION = {v1}, }