Not registered as user yet

Name: Christoph Frädrich

Affiliation: University of Passau

Contributions

ASE 2020Author of Verified from Scratch: Program Analysis for Learners' Programs within the Research Papers-track