Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. | 0 | 0.34 | 2021 |
Computer Science - CACIC 2019 - 25th Argentine Congress of Computer Science, CACIC 2019, Río Cuarto, Argentina, October 14-18, 2019, Revised Selected Papers | 0 | 0.34 | 2020 |