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.
PDF Restricted to Registered users only 77Kb |
Official URL: http://www.springerlink.com/content/l74m09p3l0337772/fulltext.pdf
Item Type: | Book Section |
---|---|
Subjects: | Methodology |
ID Code: | 274 |
Deposited By: | Prof Cliff Jones |
Deposited On: | 31 Jan 2011 17:18 |
Last Modified: | 31 Jan 2011 17:18 |
Repository Staff Only: item control page