Skip to content

Algebraic Formalisation of Program Development by Transformation.

Bernd Krieg-Brckner

VenueAESOP
Year1988
ProceedingsESOP

Browse the full ESOP paper archive.