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.
Access this via: https://doi.org/10.1007/978-3-540-87603-8\_15
| 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 |
| URI: | https://bnu.repository.guildhe.ac.uk/id/eprint/18910 |
Actions (login required)
 |
Edit Item |