Opeyemi Adesina. Integrating Formal Methods with Model-Driven Engineering. In Dimitris S. Kolovos, Marsha Chechik, editors, Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), Ottawa, Canada, September 29, 2015. Volume 1531 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
Abstract is missing.