Efficient Compilation of a Verification-friendly Programming Language

Autor:	Min-Hsien Weng
Jazyk:	angličtina
Rok vydání:	2019
DOI:	10.13140/rg.2.2.32287.00167
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::fedbacc5504813797e565b0b5ed8b8ea Zobrazit plný text záznamu