A Maude environment for CafeOBJ

  1. Riesco, A.
  2. Ogata, K.
  3. Futatsugi, K.
Revista:
Formal Aspects of Computing

ISSN: 1433-299X,  0934-5043

Any de publicació: 2017

Volum: 29

Número: 2

Pàgines: 309-334

Tipus: Article

DOI: 10.1007/S00165-016-0398-7 GOOGLE SCHOLAR
Font de les dades: Scopus