Florian Lanzinger -

Registered user since Tue 22 Jun 2021

Name:Florian Lanzinger

Country:Germany

Affiliation:KIT

Personal website: https://formal.iti.kit.edu/~lanzinger/

Contributions

2021

SPLASH

Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the OOPSLA-track
Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the Posters-track