Mira Balaban, Michael Kifer. Logic-Based Model-Level Software Development with F-OML. In Jon Whittle, Tony Clark, Thomas Kühne, editors, Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings. Volume 6981 of Lecture Notes in Computer Science, pages 517-532, Springer, 2011. [doi]
Abstract is missing.