Wuliang Sun, Benoît Combemale, Steven Derrien, Robert B. France. Using Model Types to Support Contract-Aware Model Substitutability. In Pieter Van Gorp, Tom Ritter, Louis M. Rose, editors, Modelling Foundations and Applications - 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Volume 7949 of Lecture Notes in Computer Science, pages 118-133, Springer, 2013. [doi]
Abstract is missing.