Not registered as user yet

Name: Julian Kranz

Affiliation: Technical University of Munich

Contributions

VMCAI 2018Author of Modular Analysis of Executables using On-Demand Heyting Completion within the VMCAI 2018-track