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