@inproceedings{ClavelE06,
author = {M.~Clavel and M.~Egea},
bibsource = {DBLP, http://dblp.uni-trier.de},
booktitle = {Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Proceedings},
editor = {Michael Johnson and Varmo Vene},
pages = {368-373},
title = {{ITP/OCL}: A Rewriting-Based Validation Tool for {UML+OCL} Static Class Diagrams.},
url = {http://dx.doi.org/10.1007/11784180_28},
projects = {MERIT},
butype = {inproceedings},
year = {2006}
}