TY  - RPRT
TI  - Structural abstract interpretation, A formal study using Coq
AU  - Yves Bertot
PY  - 2008
UR  - https://arxiv.org/abs/0810.2179
ID  - 0810.2179
ER  -