- idUS
- Investigación
- Ingeniería y Arquitectura
- Ciencias de la Computación e Inteligencia Artificial
- Ponencias (Ciencias de la Computación e Inteligencia Artificial)
- Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author
Browsing Ponencias (Ciencias de la Computación e Inteligencia Artificial) by Author "Meseguer, José"
Now showing items 1-1 of 1
-
Presentation
Using Maude
Clavel, Manuel; Durán, Francisco; Eker, Steven; Lincoln, Patrick; Martí Oliet, Narciso; Meseguer, José; Quesada Moreno, José Francisco (Springer, 2000)