Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives.

Marie-Claude Gaudel

Browse the full STACS paper archive.