Logical Semantics for CafeOBJ (1996)

by Razvan Diaconescu , Kokichi Futatsugi
Venue:Universitat Munchen
Citations:6 - 0 self