Facilitating Program Verification with Dependent Types (2003)

by H Xi
Venue:In Proceedings of the International Conference on Software Engineering and Formal Methods