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