TY  - RPRT
TI  - Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version)
AU  - Martin Bodin
AU  - Thomas Jensen
AU  - Alan Schmitt
PY  - 2013
DO  - 10.4204/eptcs.129.23
UR  - https://arxiv.org/abs/1309.5149
ID  - 1309.5149
ER  -