Verimag

bibtex

@phdthesis{'Ly4',
    title = {{Automated Verification of Termination Certificates} },
    author = {Ly, Kim Quyen},
    month = {October},
    year = {2014},
    school = {{Universit\'e Grenoble-Alpes}},
    team = {PACSS},
}

Sections de Publications


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

info visites 912843