Eric Cariou, Cyril Ballagny, Alexandre Feugas, Franck Barbier. Contracts for Model Execution Verification. In Robert B. France, Jochen Malte Kuester, Behzad Bordbar, Richard F. Paige, editors, Modelling Foundations and Applications - 7th European Conference, ECMFA 2011, Birmingham, UK, June 6 - 9, 2011 Proceedings. Volume 6698 of Lecture Notes in Computer Science, pages 3-18, Springer, 2011. [doi]
Abstract is missing.