Cafeinmaude: A cafeOBJ interpreter in maude
- Riesco, A.
- Ogata, K.
- Futatsugi, K.
ISSN: 1611-3349, 0302-9743
ISBN: 9783662496640
Année de publication: 2016
Volumen: 9633
Pages: 377-380
Type: Communication dans un congrès
Collection de livres:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)