@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},
}