Using maude
- Clavel, M.
- Durán, F.
- Eker, S.
- Lincoln, P.
- Martí-Oliet, N.
- Meseguer, J.
- Quesada, J.F.
ISSN: 1611-3349, 0302-9743
ISBN: 3540672613
Argitalpen urtea: 2000
Alea: 1783
Orrialdeak: 371-374
Mota: Biltzar ekarpena
ISSN: 1611-3349, 0302-9743
ISBN: 3540672613
Argitalpen urtea: 2000
Alea: 1783
Orrialdeak: 371-374
Mota: Biltzar ekarpena