"Combining Event-B and CSP: An Institution Theoretic Approach to ..."

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