Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics

Dietmar Wolz. Tool Design for Structuring Mechanisms for Algebraic Specification Languages with Initial Semantics. In Magne Haveraaen, Olaf Owe, Ole-Johan Dahl, editors, Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers. Volume 1130 of Lecture Notes in Computer Science, pages 536-550, Springer, 1995.

Authors

Dietmar Wolz

This author has not been identified. Look up 'Dietmar Wolz' in Google