Verifying haskell programs by combining testing and proving (0)

by Peter Dybjer, Qiao Haiyan, Makoto Takeyama
Venue:In Proceedings of the Third International Conference on Quality Software