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

Autor:	Cătălin Hriţcu, Andrei Popescu
Rok vydání:	2021
DOI:	10.1145/3437992
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=r3c4b2081b22::1363631650227fd723cb9f8498e84c83 Zobrazit plný text záznamu