- idUS
- Browsing by Author
Browsing by Author "Lincoln, Patrick"
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)