title: Some interdisciplinary observations about getting the ``right'' specification creator: Jones, Cliff B. subject: Methodology publisher: Springer date: 2008 type: Book Section type: PeerReviewed format: application/pdf identifier: http://deploy-eprints.ecs.soton.ac.uk/274/1/Jones-VSTTE-08.pdf relation: http://www.springerlink.com/content/l74m09p3l0337772/fulltext.pdf identifier: Jones, Cliff B. (2008) Some interdisciplinary observations about getting the ``right'' specification. In: Verified Software: Theories, Tools, Experiments. Lecture Notes in Computer Science (4171). Springer, pp. 64-69. relation: http://deploy-eprints.ecs.soton.ac.uk/274/