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

