From Goal-Oriented Requirements to Event-B Specifications

Aziz, Benjamin, Arenas, Alvaro, Bicarregui, Juan, Ponsard, Christophe and Massonet, Philippe (2009) From Goal-Oriented Requirements to Event-B Specifications. In: First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009.

Full text not available from this repository.

Item Type:	Conference or Workshop Item
Depositing User:	RED Unit Admin
Date Deposited:	13 Dec 2023 09:04
Last Modified:	13 Dec 2023 09:04
URI:	https://bnu.repository.guildhe.ac.uk/id/eprint/18907

Actions (login required)

Edit Item