![Nancy Day](https://conf.researchr.org/getProfileImage/nancyday/43bca54b-1da3-48e2-a1c2-9faecaa50076/small.jpg?1711610575000)
Registered user since Tue 14 Nov 2017
Name:Nancy Day
Country:Canada
Affiliation:University of Waterloo, Canada
Personal website: https://cs.uwaterloo.ca/~nday/
Research interests:formal methods; MDE; verification
Contributions
ICSE 2019-profile
View general profile
View general profile