Sound and Complete Abstract Graph Transformation.

Dominik SteenkenHeike WehrheimDaniel Wonisch
Published in: SBMF (2011)
Keyphrases