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:

Research interests: Programming Languages, Formal Methods


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

ESOP 2015-profile
View general profile