home
>
book reviews
> Pontus Bostrom
Google >
Pontus Bostrom
author : Pontus Bostrom
Short works
An extension of Event B for developing Grid systems. 2005.
(In
ZB 2005
)