@inproceedings{clavel-egea-wafoca06,
author = {M.~Clavel and M.~Egea},
booktitle = {Proceedings of the First International Workshop on Algebraic Foundations for OCL and Applications (WAFOCA)},
city = {Valencia, Spain},
date = {March 22, 2006},
editor = {I. Ramos and J.A. Cars\'{\i} and A. Boronat},
institution = {Universidad Polit\'{e}cnica de Valencia},
title = {Using Reflection to Implement in {Maude} a Rewriting-Based Validation Tool for {UML+OCL} Static Class Diagrams},
projects = {MERITS},
butype = {workshop},
year = {2006}
}