Presentations and papers about open proofs
From Openproofs
Here are presentations and papers about open proofs:
- Open Proofs: Maturing Formal Methods (FM) with Open Source Software (OSS) Approaches (2009-07-31)
Views
Personal tools
- This page was last modified on 3 August 2009, at 21:10.
- This page has been accessed 575 times.
- Content is available under Creative Commons Attribution-ShareAlike 3.0 Unported License (CC-BY-SA).
- Privacy policy
- About Openproofs
- Disclaimers