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; safety
Contributions
Using general profile
- Attending
- Tracks
- FormaliSE 2025
- Research Track
- Artifact Track
- Organization
- FormaliSE 2025 Committees
- Track Committees
- Research Track Organization Committee
- Research Track Program Committee
- Artifact Track
- Contributors
- People Index
- Search
- Series