Bentley James Oakes, Javier Troya, Levi Lucio, Manuel Wimmer. Fully verifying transformation contracts for declarative ATL. In Timothy Lethbridge, Jordi Cabot, Alexander Egyed, editors, 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MoDELS 2015, Ottawa, ON, Canada, September 30 - October 2, 2015. pages 256-265, IEEE, 2015. [doi]
Abstract is missing.