01672nam 2200469zu 450 991037574070332120210807005218.01-4503-3296-X(CKB)3780000000084962(SSID)ssj0001663905(PQKBManifestationID)16449691(PQKBTitleCode)TC0001663905(PQKBWorkID)14995118(PQKB)10587002(WaSeSS)IndRDA00054332(Association for Computing Machinery)10.1145/2676724(EXLCZ)99378000000008496220160829d2015 uy engur|||||||||||txtccrCPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India[Place of publication not identified]ACM20151 online resource (184 pages)ACM ConferencesBibliographic Level Mode of Issuance: MonographACM ConferencesCertified Programs and Proofs '15Proceedings of the 2015 Conference on Certified Programs and ProofsComputer ScienceHILCCEngineering & Applied SciencesHILCCComputer ScienceEngineering & Applied SciencesLeroy Xavier911815ACM Special Interest Group on Programming LanguagesPQKBBOOK9910375740703321CPP '15 : proceedings of the 2015 ACM Conference on Certified Programs and Proofs : January 13-14, 2015, Mumbai, India2216923UNINA