Towards Modelling Obligations in Event-B

Towards Modelling Obligations in Event-B

Juan Bicarregui, Alvaro E. Arenas, Benjamin Aziz, Philippe Massonet and Christophe Ponsard, "Towards Modelling Obligations in Event-B", ABZ 2008 Conference, Septembre 2008.