Facilitating Program Verification with Dependent Types (2003)

by Hongwei Xi
Venue:In Proceedings of the International Conference on Software Engineering and Formal Methods
Citations:7 - 1 self