A high level language for specifying graph based languages and their programming environments
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Formal Specification of Graphic Data Types
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |