An Automatic Refinement for Event-B Through Annotated Temporal Logic Patterns.

Badr Siala, Mohamed Tahar Bhiri

Browse the full ICCCI paper archive.