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