Martin Große-Rhode, Francesco Parisi-Presicce, Marta Simeoni. Formal Software Specification with Refinements and Modules of Typed Graph Transformation Systems. J. Comput. Syst. Sci., 64(2):171-218, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.