Skip to Main content
Number of documents

1

Frédéric Tuong


Frédéric Blanqui   

Conference papers1 document

  • Xiaomu Shi, Jean-François Monin, Frederic Tuong, Frédéric Blanqui. First steps towards the certification of an ARM simulator using Compcert. First International Conference on Certified Programs and Proofs, Dec 2011, Hengchun, Taiwan. ⟨10.1007/978-3-642-25379-9_25⟩. ⟨inria-00624833⟩