Contextualization and Dependency in State-Based Modelling - Application to Event-B.

Souad Kherroubi, Dominique Mry

Browse the full MEDI paper archive.