author : Pontus Bostrom

Short works

• An extension of Event B for developing Grid systems. 2005. (In ZB 2005 )