bibtex

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


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4155703