01885nam 2200457 450 991037643040332120180829133210.01-4503-4705-3(CKB)3710000001156718(WaSeSS)IndRDA00103951(EXLCZ)99371000000115671820180829d2017 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCPP '17 proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, France /edited by Yves Bertot and Viktor VafeiadisNew York :ACM,2017.1 online resource (234 pages)Includes index.Certified Programs and Proofs '17 :proceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and Proofs : January 16-17, 2017, Paris, FranceCertified Programs and Proofs 2017Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and ProofsProceedings of the 6th Association for Computing Machinery Special Interest Group on Programming Languages Conference on Certified Programs and ProofsComputer scienceMathematicsCongressesFormal methods (Computer science)CongressesProof theoryData processingCongressesElectronic books.Computer scienceMathematicsFormal methods (Computer science)Proof theoryData processing004.0151Bertot YvesVafeiadis ViktorWaSeSSWaSeSSBOOK9910376430403321CPP '172165414UNINA