TY  - RPRT
TI  - Mechanized semantics
AU  - Xavier Leroy
PY  - 2010
DO  - 10.3233/978-1-60750-100-8-195
UR  - https://arxiv.org/abs/1010.5582
ID  - 1010.5582
ER  -