Verimag

bibtex

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

Publication Sections


Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 792230