Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs

Front Cover
Yves Bertot
Association for Computing Machinery, Jan 16, 2017 - Computers - 235 pages
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.

Bibliographic information

TitleProceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs
EditorYves Bertot
PublisherAssociation for Computing Machinery, 2017
ISBN1450347053, 9781450347051
Length235 pages
Subjects › 

Computers / Computer Science
  
Export CitationBiBTeX EndNote RefMan