An Open Extensible Tool Environment for Event-B (0)

by J-R Abrial, M J Butler, S Hallerstede, L Voisin
Venue:In ICFEM. Pp