Property Types in Java: Combining Type Systems and Deductive Verification

Master Thesis

Autor(en):Florian Lanzinger
Hochschule:Karlsruher Institut für Technologie
Jahr:2021
PDF:

BibTeX

@mastersthesis{lanzingerMA2021,
	author = {Florian Lanzinger},
	title = {Property Types in Java: Combining Type Systems and Deductive Verification},
	school = {Karlsruher Institut für Technologie},
	year = {2021},
	month = feb,
	type = {Master Thesis},
	pdf = {PDF:/lanzinger/pdf/lanzingerMA2021.pdf}
}