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

Bachelor Thesis

Author(s):Florian Lanzinger
School:Karlsruher Institut für Technologie
Year:2018
PDF:

BibTeX

@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}
}