×

zbMATH — the first resource for mathematics

On a reference model for the formalization and integration of software specification languages. (English) Zbl 1049.68090
Păun, Gheorghe (ed.) et al., Current trends in theoretical computer science. Entering the 21st century. Based on columns and tutorials published in the Bulletin of the European Association for Theoretical Computer Science (EATCS), 1992–2000. Singapore: World Scientific (ISBN 981-02-4473-8). 215-225 (2001).

MSC:
68Q65 Abstract data types; algebraic specification
Software:
DeCIF
PDF BibTeX XML Cite