Towards correct, efficient and reusable transformational developments

KORSO: Methods, Languages, and Tools for the Construction of Correct Software - Lecture Notes in Computer Science ◽

10.1007/bfb0015467 ◽

1995 ◽

pp. 268-284 ◽

Cited By ~ 3

Author(s):

Bernd Krieg-Brückner ◽

Junbo Liu ◽

Hui Shi ◽

Burkhard Wolff