Towards Correctness, Efficiency and Reusability of Transformational Developments.

Bernd Krieg-Brckner, Junbo Liu, Burkhart Wolff, Hui Shi

Browse the full GI paper archive.