01215nam 2200361 450 991037577930332120230825105036.0(CKB)4100000007598071(NjHacI)994100000007598071(EXLCZ)99410000000759807120230825d2019 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierProceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs /edited by Assia Mahboubi, Magnus O. MyreenNew York, NY :ACM,2019.©20191 online resource (261 pages) illustrations1-4503-6222-2 Includes bibliographical references and index.Computer scienceMathematicsCongressesComputer scienceMathematics004.0151Myreen Magnus O.Mahboubi AssiaNjHacINjHaclBOOK9910375779303321Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs1993048UNINA