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

Autor:	Jasmin Christian Blanchette
Rok vydání:	2020
DOI:	10.1145/3372885
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1819437405868f0e83097db8853e0794 Zobrazit plný text záznamu