Towards Maude 2.0
- Clave, M.
- Durán, F.
- Eker, S.
- Lincoln, P.
- Martí-Oliet, N.
- Meseguer, J.
- Quesada, J.F.
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2000
Alea: 36
Orrialdeak: 294-315
Mota: Biltzar ekarpena