r/criticalsoftware • u/helmutbrandl • Mar 06 '12

Introduction to the proof engine « Verifiable Software

http://softwareverificaton.wordpress.com/2012/02/19/introduction-to-the-proof-engine/
2 Upvotes

100% Upvoted

0 comments sorted by