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

Butler, Michael and Hallerstede, Stefan (2007) The Rodin Formal Modelling Tool. In: BCS-FACS Christmas 2007 Meeting - Formal Methods In Industry, London. (In Press)