@phdthesis{muehlberg:mc_pointer_safety,
 title  = "Model Checking Pointer Safety in Compiled Programs",
 author = "Jan Tobias M{\"u}hlberg",
 school = "Department of Computer Science, University of York",
 year   = "2010",
 note   = "Available at \url{http://etheses.whiterose.ac.uk/841/}."
}