creators_name: Hallerstede, Stefan
creators_name: Hoang, Thai Son
creators_id: htson@inf.ethz.ch
type: conference_item
datestamp: 2012-07-09 14:36:02
lastmod: 2012-07-09 14:36:02
metadata_visibility: show
title: Refinement by Interface Instantiation
ispublished: pub
subjects: deploy_method_comp
subjects: theory
full_text_status: none
pres_type: paper
date: 2012-06
date_type: published
event_title: ABZ 2012
event_location: Pisa, Italy
event_dates: 19-21 June 2012
event_type: conference
refereed: TRUE
citation:   Hallerstede, Stefan and Hoang, Thai Son  (2012) Refinement by Interface Instantiation.  In: ABZ 2012, 19-21 June 2012, Pisa, Italy.     

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