@MastersThesis{ mundo:analyse, author = {Jan Mundo}, title = {Analyse von C-Programmen bez\"uglich Secure Coding mittels LTL-Modelchecking}, school = {TU Darmstadt}, type = {Bachelor Thesis}, year = 2012 }