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:28 - 11 self