@inproceedings{delahaye:hal-00998094, TITLE = {{Le projet BWare : une plate-forme pour la v{\'e}rification automatique d'obligations de preuve B}}, AUTHOR = {Delahaye, David and March{\'e}, Claude and Mentr{\'e}, David}, URL = {https://inria.hal.science/hal-00998094}, BOOKTITLE = {{Approches Formelles dans l'Assistance au D{\'e}veloppement de Logiciels}}, ADDRESS = {Paris, France}, PUBLISHER = {{EasyChair}}, YEAR = {2014}, MONTH = Jun, PDF = {https://inria.hal.science/hal-00998094/file/afadl2014_submission_6.pdf}, HAL_ID = {hal-00998094}, HAL_VERSION = {v1}, }