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

Marie Farrell, Rosemary Monahan, James F. Power (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics