ESOP 2015
Tue 14 - Thu 16 April 2015 London, United Kingdom
Zachary Kincaid

Registered user since Thu 18 Dec 2014

Name: Zachary Kincaid

Country: United States

Affiliation: University of Toronto

Personal website: www.cs.toronto.edu/~zkincaid

Research interests: Programming Languages, Formal Methods

Contributions

ESOP 2015Author of Spatial Interpolants within the ESOP-track
Show activities from other conferences

ESOP 2015-profile
View general profile