@doctoralThesis{Petrova_2007, title={Verification of the C0 compiler implementation on the source code level}, author={Petrova, Elena}, doi={http://dx.doi.org/10.22028/D291-25913}, year={2007} }