TY  - RPRT
TI  - First steps towards the certification of an ARM simulator using Compcert
AU  - Xiaomu Shi
AU  - Jean-François Monin
AU  - Frederic Tuong
AU  - Frédéric Blanqui
PY  - 2012
DO  - 10.1007/978-3-642-25379-9_25
UR  - https://arxiv.org/abs/1202.6472
ID  - 1202.6472
ER  -