@phdthesis{'Shi3',
title = {{Certification of an Instruction Set Simulator} },
author = {Shi, Xiaomu},
month = {July},
year = {2013},
school = {{Universit\'e Grenoble-Alpes}},
team = {PACSS},
}
