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

Dietmar Wolz

Browse the full COMPASS paper archive.