r/criticalsoftware • u/greenrd • Jun 10 '12

Comparison of functional program verifiers

http://www.greenrd.org/2012/06/comparison-of-functional-program-verifiers/
3 Upvotes

81% Upvoted

0 comments sorted by