## Combining Testing and Proving in Dependent Type Theory (2003)

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 |