Event B Modelling Language at LORIA


The Event B Modelling Language has been developed by J.-R. Abrial and his team at ETHZ. We provide a list of informations and ressources related to Event B.

General Informations

Conferences, Workshops, Meetings on B and/or Event B

Usefull links to ressources related to the B Method, Event B ...


Dominique Méry
Last modified: Wed Jan 2 11:06:05 CET 2008