bibtex

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


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

info visites 4155658