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

Hoang, Thai Son and Abrial, Jean-Raymond (2010) Event-B Decomposition for Parallel Programs. In: ABZ2010. (In Press)