Cafeinmaude: A cafeOBJ interpreter in maude
- Riesco, A.
- Ogata, K.
- Futatsugi, K.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Año de publicación: 2016
Volumen: 9633
Páginas: 377-380
Tipo: Aportación congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Año de publicación: 2016
Volumen: 9633
Páginas: 377-380
Tipo: Aportación congreso