
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 2015 | Spatial Interpolants | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ESOP 2015-profile
View general profile
View general profile