×

Found 2 Documents (Results 1–2)

Towards verifying model transformations. (English) Zbl 1283.68210

Bruni, Roberto (ed.) et al., Proceedings of the 5th international workshop on graph transformation and visual modeling techniques (GT-VMT 2006), Vienna, Austria, April 1–2, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 211, 191-200 (2008).
MSC:  68Q60 68Q42 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Year of Publication

Main Field

all top 3

Software