Author :
Release : 2022
Genre :
Kind : eBook
Book Rating : /5 ( reviews)
Book Synopsis Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs by :
Download or read book Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs written by . This book was released on 2022. Available in PDF, EPUB and Kindle. Book excerpt: