A Goal-Based Approach to Guide the Design of an Abstract Event-B Specification.

Abderrahman Matoussi, Frdric Gervais, Rgine Laleau

Browse the full ICECCS paper archive.