DMCA

A comparative study of Coq and HOL (1997)

Cached

Download Links

by Vincent Zammit
Venue:In Proceedings of the 10th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science
Citations:5 - 1 self