Verifying Haskell programs by combining testing, model checking and interactive theorem proving.

Peter Dybjer Qiao Haiyan Makoto Takeyama Verifying Haskell programs by combining testing, model checking and interactive theorem proving. 1011-1025 2004 46 Information & Software Technology 15 http://dx.doi.org/10.1016/j.infsof.2004.07.002 db/journals/infsof/infsof46.html#DybjerHT04