scientific article
From MaRDI portal
Publication:3359777
zbMath0733.68055MaRDI QIDQ3359777
Ingo Claßen, Paul Boehm, Martin Korff, Michael Löwe, Werner Fey, Hartmut Ehrig
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
software specificationalgebraic specification languagesparameterized specificationmodule specificationtransformation of specification
This page was built for publication: