M.: Combining testing and proving in dependent type theory (2003)

by P Dybjer, Q Haiyan, Takeyama
Venue:In: TPHOLs 2003. LNCS