Supporting Reuse of Event-B Developments through Generic Instantiation.

Renato Silva, Michael J. Butler

Browse the full ICFEM paper archive.