DMCA

Verifying haskell pro-grams by combining testing and proving

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