CafeOBJ: Logical Foundations and Methodologies (2003)

Cached

Download Links

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