Abderrahman Matoussi, Frédéric Gervais, Régine Laleau. A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.
16th International Conference on Engineering of Complex Computer Systems, 2011, Unknown, Unknown Region.
⟨hal-01224640⟩