creators_name: Edmunds, Andrew
creators_name: Butler, Michael
type: conference_item
datestamp: 2008-10-07 21:38:26
lastmod: 2008-10-07 21:38:26
metadata_visibility: show
title: Linking Event-B and Concurrent Object-Oriented Programs 
ispublished: pub
subjects: Event-Bsemantics
full_text_status: none
pres_type: paper
date: 2008-05
event_title: Refine 2008 - International Refinement Workshop
event_type: workshop
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/16003/
citation:   Edmunds, Andrew and Butler, Michael  (2008) Linking Event-B and Concurrent Object-Oriented Programs.  In: Refine 2008 - International Refinement Workshop.