Algebraic Specification through Expression Transformation.

Manuel J. Fernndez-Iglesias, Martn Llamas Nistal

Browse the full FORTE paper archive.