Mira Balaban, Igal Khitron, Michael Kifer, Azzam Maraee. Formal Executable Theory of Multilevel Modeling. In John Krogstie, Hajo A. Reijers, editors, Advanced Information Systems Engineering - 30th International Conference, CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings. Volume 10816 of Lecture Notes in Computer Science, pages 391-406, Springer, 2018. [doi]
Abstract is missing.