Serge Autexier, Dieter Hutter, Till Mossakowski. Change Management for Heterogeneous Development Graphs. In Simon Siegler, Nathan Wasser, editors, Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Volume 6463 of Lecture Notes in Computer Science, pages 54-80, Springer, 2010. [doi]
Abstract is missing.