Verimag

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

Publication Sections


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

info visites 829659