Cite
HARVARD Citation
Asztalos, M. et al. (2013). Formal specification and analysis of functional properties of graph rewriting‐based model transformation. Software testing, verification & reliability. pp. 405-435. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Asztalos, M. et al. (2013). Formal specification and analysis of functional properties of graph rewriting‐based model transformation. Software testing, verification & reliability. pp. 405-435. [Online].