This site has been permanently archived. This is a static copy provided by the University of Southampton.

Edmunds, Andrew and Rezazadeh, Abdolbaghi and Butler, Michael (2011) From Event-B Models to Code: Sensing, Actuating, and the Environment. In: SBMF2011, Sept 2011, Sao Paulo, Brazil.