A Comparative Study of Coq and HOL (1997)

Cached

Download Links

by Vincent Zammit
Venue:In Gunter and Felty [GF97
Citations:5 - 0 self