Publications

Proof Technologies Ltd > Publications

Home | Software | Publications | Various | Contact Us

Publications

We have written various papers promoting our approach to formal methods and formal proof, and explaining how our open source software works.