TY  - JOUR
AU  - Ogata, Kazuhiro
AU  - Riesco Rodríguez, Adrián
PY  - 2022
DO  - 10.1016/j.jss.2022.111302
UR  - https://hdl.handle.net/20.500.14352/91468
T2  - Journal of Systems and Software
LA  - eng
PB  - Elsevier
TI  - An integrated tool set for verifying CafeOBJ specifications
TY  - journal article
VL  - 189
ER  -