title: Linking Event-B and Concurrent Object-Oriented Programs 
creator: Edmunds, Andrew
creator: Butler, Michael
subject: Event-B
date: 2008-05
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.ecs.soton.ac.uk/16003/
identifier:   Edmunds, Andrew and Butler, Michael  (2008) Linking Event-B and Concurrent Object-Oriented Programs.  In: Refine 2008 - International Refinement Workshop.     
relation: http://deploy-eprints.ecs.soton.ac.uk/39/