Uniform Transformational Development

Bernd Krieg-Brückner, Einar W. Karlsen, Junbo Liu, Owen Traynor. Uniform Transformational Development. 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 317-330, Springer, 1993.

Authors

Bernd Krieg-Brückner

This author has not been identified. Look up 'Bernd Krieg-Brückner' in Google

Einar W. Karlsen

This author has not been identified. Look up 'Einar W. Karlsen' in Google

Junbo Liu

This author has not been identified. Look up 'Junbo Liu' in Google

Owen Traynor

This author has not been identified. Look up 'Owen Traynor' in Google