01998nam 2200457 450 991037603110332120180829210208.0(CKB)4100000004910355(WaSeSS)IndRDA00103991(EXLCZ)99410000000491035520180829d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierCPP '18 proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USA /edited by June Andronick and Amy Felty ; sponsored by ACM SIGPLANNew York :ACM,2018.1 online resource (306 pages)Includes index.1-4503-5586-2 Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and ProofsProceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and ProofsCertified Programs and Proofs 2018 :proceedings of the seventh Association for Computing Machinery Special Interest Group on Programming Languages International Conference on Certified Programs and Proofs : January 8-9, 2018, Los Angeles, CA, USAComputer scienceMathematicsCongressesProof theoryData processingCongressesFormal methods (Computer science)CongressesElectronic books.Computer scienceMathematicsProof theoryData processingFormal methods (Computer science)004.0151Andronick JuneFelty AmyACM Special Interest Group on Programming Languages,WaSeSSWaSeSSBOOK9910376031103321CPP '182089026UNINA