On the Use of Domain and System Knowledge Modeling in Goal-Based Event-B Specifications.

Amel Mammar, Rgine Laleau

Browse the full ISoLA paper archive.