An approach to the formal specification of computer graphics systems
- 31 December 1984
- journal article
- Published by Elsevier in Computers & Graphics
- Vol. 8 (1) , 51-57
- https://doi.org/10.1016/0097-8493(84)90023-2
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Approaching a formal framework for graphics software standardsComputers & Graphics, 1984
- Formal Methods in Communication Protocol DesignIEEE Transactions on Communications, 1980
- Algorithms to reveal properties of floating-point arithmeticCommunications of the ACM, 1972