Honcharova, Olha International Max Planck Research School, MPI for Informatics, Max Planck Society;
Honcharova, O. (2009). Static Detection of Parametric Loop Bounds on C Code. Master Thesis, Universität des Saarlandes, Saarbrücken.