TY  - RPRT
TI  - Automating Abstract Interpretation of Abstract Machines
AU  - James Ian Johnson
PY  - 2015
UR  - https://arxiv.org/abs/1504.08033
ID  - 1504.08033
ER  -