scientific article
From MaRDI portal
Publication:2702096
zbMath0968.68076MaRDI QIDQ2702096
Publication date: 12 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Zipping strategies and attribute grammars ⋮ On the semantics of parsing actions ⋮ A survey of strategies in rule-based program transformation systems ⋮ Building Verification Condition Generators by Compositional Extension
Uses Software
This page was built for publication:
