From an abstract specification in event-b toward an UML/OCL model.

Imen Sayar, Mohamed Tahar Bhiri

Browse the full ICSE paper archive.