Caterina Urban

Registered user since Wed 28 Jan 2015

Name:Caterina Urban
Affiliation:École Normale Supérieure
Research interests:Static Analysis, Abstract Interpretation, Liveness Properties

Contributions

SPLASH 2015 Committee Member in Organizing Committee within the Demos-track
Show activities from other conferences

SPLASH 2015-profile
View general profile