A Maude environment for CafeOBJ

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

ISSN: 1433-299X,  0934-5043

Año de publicación: 2017

Volumen: 29

Número: 2

Páginas: 309-334

Tipo: Artículo

DOI: 10.1007/S00165-016-0398-7 GOOGLE SCHOLAR
Fuente de los datos: Scopus