Towards Modelling Obligations in Event-B

Bicarregui, Juan, Arenas, Alvaro, Aziz, Benjamin, Massonet, Philippe and Ponsard, Christophe (2008) Towards Modelling Obligations in Event-B. In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings.

Full text not available from this repository.
Item Type: Conference or Workshop Item
Depositing User: RED Unit Admin
Date Deposited: 13 Dec 2023 09:10
Last Modified: 13 Dec 2023 09:10

Actions (login required)

Edit Item Edit Item