Florian Lanzinger

Florian Lanzinger, M.Sc. — Wissenschaftlicher Mitarbeiter / Doktorand
Am Fasanengarten 5
Building 50.34
Office 203
76131 Karlsruhe
Germany

📞 + 49 721 608-45252
lanzinger832870259Xfd4∂kit.edu

Projekte

Lehre

Publikationen

2021
Titel Autor(en) Quelle
Property Types in Java: Combining Type Systems and Deductive VerificationFlorian LanzingerKarlsruher Institut für Technologie (Februar 2021)
2018
Titel Autor(en) Quelle
A Divide-and-Conquer Strategy with Block and Loop Contracts for Deductive Program VerificationFlorian LanzingerKarlsruher Institut für Technologie (April 2018)

Betreute Abschlussarbeiten

Titel Typ Status
Abhängige Eigenschaftstypen in Java BA / MA open