Verimag
Home > Dissemination > Publications

bibtex

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

Publication Sections


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

info visites 820157