Home
DCC eCatalog
Gabor__Karsai
On the use of graph transformation in the formal specification of model interpreters
