scientific article; zbMATH DE number 1946722

zbMath1018.68841MaRDI QIDQ4411018

Dániel Varró, András Pataricza

Publication date: 7 July 2003

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

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

zbMATH Keywords

formal semanticsrefinementmodel transformationmetamodelinggraph transformation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Uses Software

• SPIN
• Unnamed Item

This page was built for publication: