Author:
Claessen Koen,Johansson Moa,Rosén Dan,Smallbone Nicholas
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. HipSpec evaluation results,
http://www.cse.chalmers.se/~danr/hipspec
2. HipSpec source code repository,
http://www.github.com/danr/hipspec
3. Bundy, A., Basin, D., Hutter, D., Ireland, A.: Rippling: meta-level guidance for mathematical reasoning. Cambridge University Press (2005)
4. Lecture Notes in Computer Science;H.R. Chamarthi,2011
5. Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of ICFP, pp. 268–279 (2000)
Cited by
69 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献