Transformation Development: TrafoLa-H Subsystem

Martin Alt, Christian Fecht, Christian Ferdinand, Reinhard Wilhelm. Transformation Development: TrafoLa-H Subsystem. In Berthold Hoffmann, Bernd Krieg-Brückner, editors, Program Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. Volume 680 of Lecture Notes in Computer Science, pages 539-576, Springer, 1993.

Abstract

Abstract is missing.