TY  - INPR
ID  - deploy181
UR  - http://deploy-eprints.ecs.soton.ac.uk/181/
A1  - Jones, Cliff B
Y1  - 2009///
TI  - Abstraction is all we've got: auxiliary variables considered harmful.
AV  - none
M2  - Dagstuhl
T2  - Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
ER  -

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