scientific article; zbMATH DE number 2086957

zbMath1057.68591MaRDI QIDQ4737565

Stuart Kent

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2335/23350286.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of software (68N99)

Related Items (5)

Unnamed Item ⋮ Analysing AWN-Specifications Using mCRL2 (Extended Abstract) ⋮ A Type-Theoretic Framework for Certified Model Transformations ⋮ Lessons Learned from Building a Graph Transformation System ⋮ Model-Driven Engineering in the Heterogeneous Tool Set

This page was built for publication: