creators_name: Jones, Cliff B
creators_id: Cliff.Jones@ncl.ac.uk
type: conference_item
datestamp: 2010-01-12 10:11:26
lastmod: 2010-01-12 10:11:26
metadata_visibility: show
title: Abstraction is all we've got: auxiliary variables considered harmful.
ispublished: inpress
subjects: deploy_method
full_text_status: none
pres_type: paper
date: 2009
event_title: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
event_location: Dagstuhl
event_dates: 14-18 Sept. 2009
event_type: workshop
refereed: FALSE
citation:   Jones, Cliff B  (2009) Abstraction is all we've got: auxiliary variables considered harmful.  In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl.    (In Press)