FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Nancy Day

Registered user since Tue 14 Nov 2017

Name:Nancy Day
Country:Canada
Affiliation:University of Waterloo, Canada
Research interests:formal methods; MDE; safety

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile