An Open Extensible Tool Environment for Event-B.

Jean-Raymond Abrial, Michael J. Butler, Stefan Hallerstede, Laurent Voisin

Browse the full ICFEM paper archive.