An integrated tool set for verifying CafeOBJ specifications
- Riesco, A.
- Ogata, K.
Revue:
Journal of Systems and Software
ISSN: 0164-1212
Année de publication: 2022
Volumen: 189
Type: Article
