Deciding Program Properties via Complete Abstractions on Bounded Domains

Autor:	Nicolas Manini, ROBERTA GORI, Roberto Bruni
Rok vydání:	2022
Zdroj:	Static Analysis ISBN: 9783031223075
DOI:	10.1007/978-3-031-22308-2_9
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e8e47d64196c3a9abe0ec0f2d6c050cf https://doi.org/10.1007/978-3-031-22308-2_9 Zobrazit plný text záznamu