scientific article

zbMath1272.68196MaRDI QIDQ2850670

Isabel Pita, Miguel Palomino

Publication date: 27 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050851

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Maude

This page was built for publication: