An integrated tool set for verifying CafeOBJ specifications

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

ISSN: 0164-1212

Datum der Publikation: 2022

Ausgabe: 189

Art: Artikel

DOI: 10.1016/J.JSS.2022.111302 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus