@unpublished{cansell:inria-00092846, TITLE = {{Tutorial on the event-based B method}}, AUTHOR = {Cansell, Dominique and M{\'e}ry, Dominique}, URL = {https://cel.hal.science/inria-00092846}, NOTE = {Lecture}, ADDRESS = {IFIP FORTE 2006 Paris}, YEAR = {2006}, KEYWORDS = {event B formal method invariance modelling refinement theorem proving proof-base development}, PDF = {https://cel.hal.science/inria-00092846/file/tutorialforte2006mery.pdf}, HAL_ID = {inria-00092846}, HAL_VERSION = {v1}, }