Hacker News
- QED at Large: A Survey of Engineering of Formally Verified Software https://www.nowpublishers.com/article/Details/PGL-045 3 comments
Linking pages
- Mechanized Proofs for PL: Past, Present, and Future | SIGPLAN Blog https://blog.sigplan.org/2020/01/29/mechanized-proofs-for-pl-past-present-and-future/ 0 comments
- Proof Engineering Survey Paper: Q(ED) & A | taliasplse https://taliasplse.wordpress.com/2019/09/14/proof-engineering-survey-paper-qed-a/ 0 comments
Related searches:
Search whole site: site:nowpublishers.com
Search title: now publishers - QED at Large: A Survey of Engineering of Formally Verified Software
See how to search.