Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Property Types in Java: Combining Type Systems and Deductive Verification

Master Thesis
Author(s):Florian Lanzinger
School:Karlsruher Institut für Technologie
Year:2021
PDF: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}
}