An open extensible tool environment for Event-B (2006)

by J R Abrial, M Butler, S Hallerstede
Venue:ICFEM06, LNCS 4260