TY  - RPRT
TI  - Leveraging Slither and Interval Analysis to build a Static Analysis Tool
AU  - Stefan-Claudiu Susan
PY  - 2024
DO  - 10.4204/eptcs.410.10
UR  - https://arxiv.org/abs/2410.23766
ID  - 2410.23766
ER  -