Philipp Niemann, Nils Przigoda, Robert Wille, Rolf Drechsler. Generation and Validation of Frame Conditions in Formal Models. In Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, editors, Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. Volume 991 of Communications in Computer and Information Science, pages 259-283, Springer, 2018. [doi]
Abstract is missing.