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

Sorry, there's nothing here.

Cite this paper

@inproceedings{Kherroubi2017ContextualizationAD, title={Contextualization and Dependency in State-Based Modelling - Application to Event-B}, author={Souad Kherroubi and Dominique M{\'e}ry}, booktitle={MEDI}, year={2017} }