@inproceedings{clavel-calco2007,
author = {M.~Clavel and F.~Dur\'{a}n and J.~Hendrix and S.~Lucas and J.~Meseguer and P.~Ölveczky},
booktitle = {CALCO 2006, Proceedings},
editor = {T. Mossakowski et al.},
pages = {173--178},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {The {Maude} Formal Tool Environment},
volume = {4624},
projects = {MERIT},
butype = {inproceedings},
year = {2007}
}