Kevin Lano, Sobhan Yassipour Tehrani. Verified bidirectional transformations by construction. In Hüseyin Ergin, Richard F. Paige, Eugene Syriani, Steffen Zschaler, Moussa Amrani, editors, Joint Proceedings of the Second International Workshop on Patterns in Model Engineering and the Fifth International Workshop on the Verification of Model Transformation, PAME/VOLT 2016, co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016), Saint-Malo, France, October 2-3, 2016. Volume 1693 of CEUR Workshop Proceedings, pages 28-37, CEUR-WS.org, 2016. [doi]
Abstract is missing.