@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} }
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program Verification
Author(s): | Florian Lanzinger |
---|---|
School: | Karlsruher Institut für Technologie |
Year: | 2018 |
PDF: |