Cafeinmaude: A cafeOBJ interpreter in maude
- Riesco, A.
- Ogata, K.
- Futatsugi, K.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Ano de publicación: 2016
Volume: 9633
Páxinas: 377-380
Tipo: Achega congreso
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Ano de publicación: 2016
Volume: 9633
Páxinas: 377-380
Tipo: Achega congreso