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

Cached

Download Links

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