Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
Author: Yves Bertot
Publisher:
Published: 2017-01-16
Total Pages:
ISBN-13: 9781450347051
DOWNLOAD EBOOK →CPP '17: Certified Proofs and Programs Jan 16, 2017-Jan 17, 2017 Paris, France. You can view more information about this proceeding and all of ACM�s other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.