Jesús J. López-Fernández, Esther Guerra, Juan de Lara. Meta-Model validation and verification with MetaBest. In Ivica Crnkovic, Marsha Chechik, Paul Grünbacher, editors, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. pages 831-834, ACM, 2014. [doi]
Abstract is missing.