A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program Verification

@mastersthesis{lanzingerBA2018,
  author = {Florian Lanzinger},
  title = {A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program Verification},
  school = {Karlsruher Institut für Technologie},
  year = {2018},
  month = apr,
  type = {Bachelor Thesis},
  pdf = {PDF:/lanzinger/pdf/lanzingerBA2018.pdf}
}