Polytypic programming in Maude
- Clavel, M.
- Durán, F.
- Martí-Oliet, N.
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Any de publicació: 2000
Volum: 36
Pàgines: 339-360
Tipus: Aportació congrés