Polytypic programming in Maude
- Clavel, M.
- Durán, F.
- Martí-Oliet, N.
ISSN: 1571-0661
Año de publicación: 2000
Volumen: 36
Páginas: 339-360
Tipo: Aportación congreso
ISSN: 1571-0661
Año de publicación: 2000
Volumen: 36
Páginas: 339-360
Tipo: Aportación congreso