Iago Abal - POPL 2017

Sun 15 - Sat 21 January 2017

Not registered as user

Name:Iago Abal

Affiliation:IT University of Copenhagen

Personal website: http://www.iagoabal.eu/

Contributions

2017

VMCAI

Effective Bug Finding in C Programs with Shape and Effect Abstraction

Show activities from other conferences

POPL 2017-profile
View general profile