Towards Modelling Obligations in Event-B

Lecture Notes in Computer Science - Abstract State Machines, B and Z ◽

10.1007/978-3-540-87603-8_15 ◽

2008 ◽

pp. 181-194 ◽

Author(s):

Juan Bicarregui ◽

Alvaro Arenas ◽

Benjamin Aziz ◽

Philippe Massonet ◽

Christophe Ponsard

Download Full-text