Not registered as user yet

Name: Claus Brabrand

Affiliation: IT University of Copenhagen, Denmark

POPL 2017 Activities

• Author of Effective Bug Finding in C Programs with Shape and Effect Abstraction within the VMCAI-track in VMCAI 2017
• Show activities from other conferences