1988 | ||
---|---|---|
3 | EE | 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 | ||
2 | David A. Duce, E. V. C. Fielding: Formal Specification - A Comparison of Two Techniques. Comput. J. 30(4): 316-327 (1987) | |
1978 | ||
1 | M. Howard Williams, E. V. C. Fielding: Automatic Generation of Payroll Programs. Comput. J. 21(4): 378-380 (1978) |
1 | David A. Duce | [2] [3] |
2 | Lynn S. Marshall | [3] |
3 | M. Howard Williams | [1] |