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

by J-R Abrial, M J Butler, S Hallerstede, L Voisin
Venue:In Liu and He (eds.), ICFEM. Lecture Notes in Computer Science 4260