Coq development for The Next 700 Relational Program Logics

Autor:	Maillard, Kenji, Hriţcu, Cătălin, Rivas, Exequiel, Van Muylder, Antoine
Jazyk:	angličtina
Zdroj:	Artifact Digital Object Group
DOI:	10.1145/3373095
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=sygma_______::580cc5f0ec4d79c588f1843e17b467c0 Zobrazit plný text záznamu