Combining Testing and Proving in Dependent Type Theory (2003)

Cached

Download Links

by Peter Dybjer , Qiao Haiyan , and Makoto Takeyama , Makoto Takeyama
Venue:16th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2003
Citations:13 - 1 self