Maude as a metalanguage
- Clavel, M.
- Duran, F.
- Eker, S.
- Lincoln, P.
- Marti-Oliet, N.
- Meseguer, J.
- Quesada, J.F.
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Ano de publicación: 1998
Volume: 15
Páxinas: 147-160
Tipo: Achega congreso