Sagar Chaki, James R. Edmondson. Model-Driven Verifying Compilation of Synchronous Distributed Applications. In Jürgen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahão, Emilio Insfrán, editors, Model-Driven Engineering Languages and Systems - 17th International Conference, MODELS 2014, Valencia, Spain, September 28 - October 3, 2014. Proceedings. Volume 8767 of Lecture Notes in Computer Science, pages 201-217, Springer, 2014. [doi]
Abstract is missing.