FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Ivan Beschastnikh

Registered user since Sat 17 Dec 2016

Name:Ivan Beschastnikh
Country:Canada
Affiliation:University of British Columbia
Research interests:Program analysis, formal methods, distributed systems, privacy, security

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile