Frédéric Tuong

Documents

Identifiants chercheurs

Présentation

"frederic-blanqui"

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