Specification Clones: An Empirical Study of the Structure of Event-B Specifications.

Marie Farrell, Rosemary Monahan, James F. Power

Browse the full SEFM paper archive.