A Comparative Study of Coq and HOL (1997)

Cached

Download Links

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

Document Versions

A Comparative Study of Coq and HOL –Vincent Zammit — 1997 — In Gunter and Felty [GF97