@mastersthesis{pani:diploma13, author = {Thomas Pani}, title = {Loop Patterns in {C} Programs}, month = {January}, year = {2014}, school = {TU Wien}, keywords = {verifolio,sloopy} }