David Darais - CurryOn 2016

Mon 18 - Tue 19 July 2016 Rome, Italy

co-located with ECOOP 2016

Registered user since Thu 13 Nov 2014

Name:David Darais

Country:United States

Affiliation:University of Maryland, College Park

Personal website: http://david.darais.com

Research interests:Program Analysis, Mechanized Proofs

Contributions

2016

ECOOP

Show activities from other conferences

ECOOP 2016-profile
View general profile