CafeOBJ: Logical Foundations and Methodologies (2003)

Cached

Download Links

by Razvan Diaconescu , Kokichi Futatsugi , Kazuhiro Ogata
Venue:Computing and Informatics
Citations:6 - 1 self

Document Versions

CafeOBJ: Logical Foundations and Methodologies –Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata — 2003 — Computing and Informatics