9 citations · 12 across the 3 of their papers we have counts for
1 paper · 1 filter
Andrew Edmunds, Michael Butler, John Colley
The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simu…