@doctoralThesis{Rizkallah_2015,
title={Verification of program computations},
author={Rizkallah, Christine},
doi={http://dx.doi.org/10.22028/D291-26618},
year={2015}
}