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 is missing.