TY  - CHAP
ID  - deploy254
UR  - http://deploy-eprints.ecs.soton.ac.uk/254/
A1  - Jones, C.B.
A1  - Roscoe, A.W.
Y1  - 2010///
PB  - Springer
TI  - Insight, inspiration and collaboration
SP  - 1
AV  - restricted
EP  - 32
T2  - Reflections on the work of C.A.R. Hoare
ER  -

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