An integrated tool set for verifying CafeOBJ specifications

Ogata, KazuhiroRiesco Rodríguez, Adrián2023-12-182023-12-182022-03-1810.1016/j.jss.2022.111302https://hdl.handle.net/20.500.14352/91468engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/An integrated tool set for verifying CafeOBJ specificationsjournal articlehttps://www.sciencedirect.com/science/article/pii/S016412122200053Xopen accessInformática (Informática)1203.17 Informática