Automatic Refinement for Event-B through Annotated Patterns.

Badr Siala, Jean-Paul Bodeveix, Mamoun Filali, Mohamed Tahar Bhiri

Browse the full PDP paper archive.