Towards Correctness, Efficiency and Reusability of Transformational Developments

Bernd Krieg-Brückner, Junbo Liu, Burkhart Wolff, Hui Shi. Towards Correctness, Efficiency and Reusability of Transformational Developments. In GI Jahrestagung. pages 241-246, 1993.

Abstract

Abstract is missing.