Modular Analysis of Executables Using On-Demand Heyting Completion
From MaRDI portal
Publication:3296335
DOI10.1007/978-3-319-73721-8_14zbMath1446.68033OpenAlexW2780175158MaRDI QIDQ3296335
Publication date: 7 July 2020
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-73721-8_14
This page was built for publication: Modular Analysis of Executables Using On-Demand Heyting Completion