TY  - RPRT
TI  - Abstract Interpretation of Stateful Networks
AU  - Kalev Alpernas
AU  - Roman Manevich
AU  - Aurojit Panda
AU  - Mooly Sagiv
AU  - Scott Shenker
AU  - Sharon Shoham
AU  - Yaron Velner
PY  - 2018
UR  - https://arxiv.org/abs/1708.05904
ID  - 1708.05904
ER  -