Elizabeth V. C. Fielding

Publication Activity (10 Years)

Years Active: 1978-1988
Publications (10 Years): 0

Publications

David A. Duce, Elizabeth V. C. Fielding, Lynn S. Marshall
Formal specification of a small example based on GKS. ACM Trans. Graph. 7 (3) (1988)
David A. Duce, Elizabeth V. C. Fielding
Formal Specification - A Comparison of Two Techniques. Comput. J. 30 (4) (1987)
David A. Duce, Elizabeth V. C. Fielding
Towards a Formal Specification of the GKS Output Primitives. Eurographics (1986)
David A. Duce, Elizabeth V. C. Fielding
Better Understanding through Formal Specification. Comput. Graph. Forum 4 (4) (1985)
M. Howard Williams, Elizabeth V. C. Fielding
Automatic Generation of Payroll Programs. Comput. J. 21 (4) (1978)