Not registered as user yet

Name: Julian Kranz

Affiliation: Technical University of Munich

Contributions

VMCAI 2018 Modular Analysis of Executables using On-Demand Heyting Completion
Show activities from other conferences

POPL 2018-profile
View general profile