On a Reference Model for the Formalization and Integration of Software Specification Languages

Martin Große-Rhode. On a Reference Model for the Formalization and Integration of Software Specification Languages. In Current Trends in Theoretical Computer Science. pages 215-225, 2001.

Possibly Related Publications

The following publications are possibly variants of this publication: