IEEE Transactions on Software Engineering
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Towards a formal specification method for graphical user interfaces using modularized graph grammars
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Graph transformation with variables
Formal Methods in Software and Systems Modeling
GRAPH GRAMMARS WITH NEGATIVE APPLICATION CONDITIONS
Fundamenta Informaticae
Hi-index | 0.07 |