Towards modelling obligations in Event-B
- J. Bicarregui
- , A. Arenas
- , Benjamin Aziz
- , P. Massonet
- , C. Ponsard
Research output: Contribution to conference › Paper › peer-review
171
Downloads
(Pure)