RT Journal Article
T1 An integrated tool set for verifying CafeOBJ specifications
A1 Ogata, Kazuhiro
A1 Riesco Rodríguez, Adrián
PB Elsevier
YR 2022
FD 2022-03-18
LK https://hdl.handle.net/20.500.14352/91468
UL https://hdl.handle.net/20.500.14352/91468
LA eng
DS Docta Complutense
RD 9 abr 2025