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