Better Understanding through Formal Specification
- 1 December 1985
- journal article
- Published by Wiley in Computer Graphics Forum
- Vol. 4 (4) , 333-348
- https://doi.org/10.1111/j.1467-8659.1985.tb00238.x
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- An Algebraic Approach to the Standardization and the Certification of Graphics SoftwareComputer Graphics Forum, 1983
- The Specification of Computer Graphics SystemsIEEE Computer Graphics and Applications, 1983
- Formal Specification of Graphic Data TypesACM Transactions on Programming Languages and Systems, 1982