TY  - RPRT
TI  - Formal Verification of a C Value Analysis Based on Abstract Interpretation
AU  - Sandrine Blazy
AU  - Vincent Laporte
AU  - André Maroneze
AU  - David Pichardie
PY  - 2013
UR  - https://arxiv.org/abs/1304.3596
ID  - 1304.3596
ER  -