@inproceedings{80028494188849e5bdde2f8cc3f35b1f,
title = "Using maude",
author = "Manuel Clavel and Fransisco Dur{\'a}n and Steven Eker and Patrick Lincoln and Narciso Mart{\'i}-Oliet and Jose Meseguer and Quesada, {Jose F.}",
year = "2000",
month = jan,
day = "1",
language = "English (US)",
isbn = "3540672613",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer-Verlag",
pages = "371--374",
editor = "Tom Maibaum",
booktitle = "Fundamental Approaches to Software Engineering - 3rd International Conference, FASE 2000 Held as Part of the Joint European Conferenceson Theory and Practice of Software, ETAPS 2000, Proceedings",
note = "3rd International Conference on Fundamental Approaches to Software Engineering, FASE 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 ; Conference date: 25-03-2000 Through 02-04-2000",
}