Fingerprint
Dive into the research topics of 'Towards modelling obligations in Event-B'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Towards modelling obligations in Event-B
J. Bicarregui, A. Arenas, Benjamin Aziz, P. Massonet, C. Ponsard
Research output: Contribution to conference › Paper › peer-review
141
Downloads
(Pure)