| 1988 | ||
|---|---|---|
| j4 | David A. Duce, E. V. C. Fielding, Lynn S. Marshall: Formal specification of a small example based on GKS. ACM Trans. Graph. 7(3): 180-197 (1988) | |
| 1987 | ||
| j3 | David A. Duce, E. V. C. Fielding: Formal Specification - A Comparison of Two Techniques. Comput. J. 30(4): 316-327 (1987) | |
| 1985 | ||
| j2 | David A. Duce, E. V. C. Fielding: Better Understanding through Formal Specification. Comput. Graph. Forum 4(4): 333-348 (1985) | |
| 1978 | ||
| j1 | M. Howard Williams, E. V. C. Fielding: Automatic Generation of Payroll Programs. Comput. J. 21(4): 378-380 (1978) | |
| 1 | David A. Duce | |
| 2 | Lynn S. Marshall | |
| 3 | M. Howard Williams |
Data released under the ODC-BY 1.0 license — See also our legal information page