
Registered user since Wed 20 Dec 2017
Name: Sergey Mechtaev
Affiliation: University College London
Personal website: http://mechtaev.com
Research interests: software engineering, programming languages, formal methods
Contributions
ASE 2019-profile
View general profile
View general profile