A Maude Tutorial
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso
Martí-Oliet, José Meseguer, and José Quesada
Tutorial at
ETAPS 2000,
Mar 25 - Apr 2, Berlin, Germany, 2000.
Presented by Narciso Martí-Oliet and José Meseguer
(BibTeX entry)
(gzip'ed Postscript)
back
home
Formal Methods and Declarative Languages Laboratory
Computer Science Laboratory, SRI International