%0 Journal Article
%A Ogata, Kazuhiro
%A Riesco Rodríguez, Adrián
%T An integrated tool set for verifying CafeOBJ specifications
%D 2022
%U https://hdl.handle.net/20.500.14352/91468
%~