TY  - RPRT
TI  - Mechanized semantics for the Clight subset of the C language
AU  - Sandrine Blazy
AU  - Xavier Leroy
PY  - 2009
DO  - 10.1007/s10817-009-9148-3
UR  - https://arxiv.org/abs/0901.3619
ID  - 0901.3619
ER  -