%0 Journal Article %1 journals/infsof/DybjerHT04 %A Dybjer, Peter %A Haiyan, Qiao %A Takeyama, Makoto %D 2004 %J Inf. Softw. Technol. %K dblp %N 15 %P 1011-1025 %T Verifying Haskell programs by combining testing, model checking and interactive theorem proving. %U http://dblp.uni-trier.de/db/journals/infsof/infsof46.html#DybjerHT04 %V 46

@article{journals/infsof/DybjerHT04, added-at = {2020-02-20T00:00:00.000+0100}, author = {Dybjer, Peter and Haiyan, Qiao and Takeyama, Makoto}, biburl = {https://www.bibsonomy.org/bibtex/26ff8c55d02fc5dfb34dd7dd219917513/dblp}, ee = {https://doi.org/10.1016/j.infsof.2004.07.002}, interhash = {d325c3e8304e40adf88d1f3180c19aba}, intrahash = {6ff8c55d02fc5dfb34dd7dd219917513}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 15, pages = {1011-1025}, timestamp = {2020-02-21T13:00:29.000+0100}, title = {Verifying Haskell programs by combining testing, model checking and interactive theorem proving.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof46.html#DybjerHT04}, volume = 46, year = 2004 }