An integrated tool set for verifying CafeOBJ specifications

  1. Riesco, A.
  2. Ogata, K.
Aldizkaria:
Journal of Systems and Software

ISSN: 0164-1212

Argitalpen urtea: 2022

Alea: 189

Mota: Artikulua

DOI: 10.1016/J.JSS.2022.111302 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus