TY  - RPRT
TI  - Completeness in static analysis by abstract interpretation, a personal point of view
AU  - David Monniaux
PY  - 2024
DO  - 10.1007/978-981-19-9601-6_6
UR  - https://arxiv.org/abs/2211.09572
ID  - 2211.09572
ER  -