scientific article; zbMATH DE number 5033865
From MaRDI portal
Publication:5472912
zbMath1097.68540MaRDI QIDQ5472912
Karina Olmos, Eelco Visser, Martin Bravenboer, Arthur van Dam
Publication date: 19 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
Static consistency checking of web applications with WebDSL ⋮ A higher-order strategy for eliminating common subexpressions
Uses Software
This page was built for publication:
