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

by Jean-raymond Abrial, Michael Butler, Stefan Hallerstede, Laurent Voisin
Venue:ICFEM 2006, LNCS