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