Dalvandi, M.; Butler, M.; Rezazadeh, A. Transforming Event-B Models to Dafny Contracts. ECEASST 2015, 72.