On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.
Yamine Aït AmeurIdir Aït-SadouneP. CasteranJ. Paul GibsonKahina HacidSouad KherroubiDominique MéryLinda Mohand-OussaïdNeeraj Kumar SinghLaurent VoisinPublished in: ABZ (2018)