@inproceedings{DBLP:conf/calco/ClavelDHLMO07,
author = {M.~Clavel and F.~Durán and J.~Hendrix and S.~Lucas and J.~Meseguer and P.~Csaba-Ölveczky},
title = {The Maude Formal Tool Environment},
booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference (CALCO 2007)},
pages = {173-178},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4624},
ee = {http://dx.doi.org/10.1007/978-3-540-73859-6_12},
crossref = {DBLP:conf/calco/2007},
bibsource = {DBLP, http://dblp.uni-trier.de},
projects = {MERIT,PROMESAS},
butype = {},
year = {2007}
}