TY  - JOUR
AU  - Ogata, Kazuhiro
AU  - Riesco Rodríguez, Adrián
PY  - 2018
DO  - 10.1145/3208951
SN  - 1049-331X
UR  - https://hdl.handle.net/20.500.14352/91470
T2  - ACM Transactions on Software Engineering and Methodology
AB  - CafeOBJ is a language for writing formal specifications for a wide variety of software and hardware systems and for verifying their properties. CafeOBJ makes it possible to verify properties by using either proof scores, which consists of reducing...
LA  - eng
PB  - Association for Computing Machinery
TI  - Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores
TY  - journal article
VL  - 27
ER  -