Peter Dybjer, Qiao Haiyan, Makoto Takeyama. Verifying Haskell programs by combining testing, model checking and interactive theorem proving. Information \& Software Technology, 46(15):1011-1025, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.