Not registered as user yet

Name:Iago Abal
Affiliation:IT University of Copenhagen
Personal website:http://www.iagoabal.eu/

Contributions

VMCAI 2017 Author of Effective Bug Finding in C Programs with Shape and Effect Abstraction within the VMCAI-track