Yu Zhou, Yankai Huang, Ou Wei, Zhiqiu Huang. Verifying specifications with associated attributes in graph transformation systems. Frontiers of Computer Science in China, 9(3):364-374, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.