An integrated tool set for verifying CafeOBJ specifications

  1. Riesco, A.
  2. Ogata, K.
Revista:
Journal of Systems and Software

ISSN: 0164-1212

Año de publicación: 2022

Volumen: 189

Tipo: Artículo

DOI: 10.1016/J.JSS.2022.111302 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus