Cafeinmaude: A cafeOBJ interpreter in maude
- Riesco, A.
- Ogata, K.
- Futatsugi, K.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Year of publication: 2016
Volume: 9633
Pages: 377-380
Type: Conference paper
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Year of publication: 2016
Volume: 9633
Pages: 377-380
Type: Conference paper