| dc.contributor.author | Damnjanovic, Ljiljana B. | en_US |
| dc.date.accessioned | 2014-10-21T06:20:13Z | |
| dc.date.available | 2014-10-21T06:20:13Z | |
| dc.date.issued | 1991 | en_US |
| dc.identifier.issn | 1467-8659 | en_US |
| dc.identifier.uri | http://dx.doi.org/10.1111/1467-8659.1010011 | en_US |
| dc.description.abstract | 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 is of manageable size and complexity specifying the appropriate level of abstraction of the system and using a suitable formal technique. | en_US |
| dc.publisher | Blackwell Science Ltd and the Eurographics Association | en_US |
| dc.title | The Formal Specification of Level la of GKS | en_US |
| dc.description.seriesinformation | Computer Graphics Forum | en_US |
| dc.description.volume | 10 | en_US |
| dc.description.number | 1 | en_US |
| dc.identifier.doi | 10.1111/1467-8659.1010011 | en_US |
| dc.identifier.pages | 11-25 | en_US |
