@phdthesis{key=phdSpaeth,
author = {Sp{\"a}th, Johannes},
title = {Synchronized Pushdown Systems for Pointer and Data-Flow Analysis},
type = {Dissertation},
school = {Universit{\"a}t Paderborn},
month = jan,
year = {2019},
}