FormaliSE 2023
Dates to be announced Melbourne, Australia
co-located with ICSE 2023
Sergey Mechtaev

Registered user since Wed 20 Dec 2017

Name:Sergey Mechtaev
Country:United Kingdom
Affiliation:University College London
Personal website: http://mechtaev.com
Research interests:software engineering, programming languages, formal methods

Contributions

Show activities from other conferences

ICSE 2023-profile
View general profile