Search
Now showing items 1-1 of 1
The Formal Specification of Level la of GKS
(Blackwell Science Ltd and the Eurographics Association, 1991)
In this paper the formal specification of a part of level la of GKS is given in the algebraic specification language OBJ. It shows that it is possible to produce a formal specification of a substantial part of GKS which ...