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

by J-R Abrial, M Butler, S Hallerstede, L Voisin
Venue:In International Conference on Formal Engineering Methods (ICFEM), LNCS. SV