@Other{Stattelmann_2008,
title={Function pointer analysis for C programs},
author={Stattelmann, Stefan},
doi={http://dx.doi.org/10.22028/D291-25936},
year={2008}
}