TY  - CHAP
ID  - deploy274
UR  - http://www.springerlink.com/content/l74m09p3l0337772/fulltext.pdf
A1  - Jones, Cliff B.
Y1  - 2008///
PB  - Springer
T3  - Lecture Notes in Computer Science
TI  - Some interdisciplinary observations about getting the ``right'' specification
SP  - 64
AV  - restricted
EP  - 69
T2  - Verified Software: Theories, Tools, Experiments
ER  -

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