Recovering Structural Consistency between Design and Implementation using Correspondence Relations

Anne-Therese Kortgen, Christof Mosler. Recovering Structural Consistency between Design and Implementation using Correspondence Relations. In M. A. Karim Sadiq, Haiping Xu, Jaroslav Zendulka, Adegboyega K. Ojo, editors, International Conference on Software Engineering Theory and Practice, SETP-08, Orlando, Florida, USA, July 7-10, 2008. pages 53-60, ISRST, 2008.

Abstract

Abstract is missing.