- RIUMA Principal
- Listar por autor
Listar por autor "Clavel, Manuel"
Mostrando ítems 1-1 de 1
-
Two Decades of Maude
Clavel, Manuel; Durán, Francisco; Eker, Steven; Escobar, Santiago; Lincoln, Patrick; Martí-Oliet, Narciso; Talcott, Carolyn[et al.] (2015-09-30)This paper is a tribute to José Meseguer, from the rest of us in the Maude team, reviewing the past, the present, and the future of the language and system with which we have been working for around two decades under his ...