@incollection{singh:hal-01216779, TITLE = {{Event B (english version)}}, AUTHOR = {Singh, Neeraj Kumar and M{\'e}ry, Dominique}, URL = {https://inria.hal.science/hal-01216779}, BOOKTITLE = {{Formal Methods Applied to Complex Systems}}, EDITOR = {Jean-Louis Boulanger}, PUBLISHER = {{Wiley}}, SERIES = {Formal Methods Applied to Complex Systems}, YEAR = {2014}, MONTH = Jul, DOI = {10.1002/9781119002727.ch10}, KEYWORDS = {Event B ; proof obligations (POs) ; transition system}, HAL_ID = {hal-01216779}, HAL_VERSION = {v1}, }