title: Refinement by Interface Instantiation
creator: Hallerstede, Stefan
creator: Hoang, Thai Son
subject: Composition and reuse
subject: Event-B Theory
date: 2012-06
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Hallerstede, Stefan and Hoang, Thai Son  (2012) Refinement by Interface Instantiation.  In: ABZ 2012, 19-21 June 2012, Pisa, Italy.     
relation: http://deploy-eprints.ecs.soton.ac.uk/416/

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>