Towards modelling obligations in Event-B

J. Bicarregui, A. Arenas, Benjamin Aziz, P. Massonet, C. Ponsard

Research output: Contribution to conferencePaperpeer-review

89 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Towards modelling obligations in Event-B'. Together they form a unique fingerprint.

Engineering & Materials Science