bibtex

@phdthesis{Sim12,
    title = { Harnessing Forest Automata for Verification of Heap Manipulating Programs },
    author = {Sim{\'a}cek, Jir\'{\i}},
    year = {2012},
    pages = {128},
    publisher = {Universit\'{e} de Grenoble},
    team = {DCS},
    location = {Grenoble, FR}, language = {english},
}

URL


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

info visites 4121946