Peter Dybjer, Qiao Haiyan, Makoto Takeyama. Combining Testing and Proving in Dependent Type Theory. In David A. Basin, Burkhart Wolff, editors, Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings. Volume 2758 of Lecture Notes in Computer Science, pages 188-203, Springer, 2003. [doi]
@inproceedings{DybjerHT03,
title = {Combining Testing and Proving in Dependent Type Theory},
author = {Peter Dybjer and Qiao Haiyan and Makoto Takeyama},
year = {2003},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2758&spage=188},
tags = {testing, type theory},
researchr = {https://researchr.org/publication/DybjerHT03},
cites = {0},
citedby = {0},
pages = {188-203},
booktitle = {Theorem Proving in Higher Order Logics, 16th International Conference, TPHOLs 2003, Rom, Italy, September 8-12, 2003, Proceedings},
editor = {David A. Basin and Burkhart Wolff},
volume = {2758},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-40664-6},
}