Christiano Braga, Roberto Menezes, Thiago Comicio, Cassio Santos, Edson Landim. On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. In Adenilso da Silva Simão, Carroll Morgan, editors, Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers. Volume 7021 of Lecture Notes in Computer Science, pages 108-123, Springer, 2011. [doi]
Abstract is missing.