Sergey Mechtaev

Registered user since Wed 20 Dec 2017

Name:Sergey Mechtaev
Country:China
Affiliation:Peking University
Personal website: http://mechtaev.com
Research interests:software engineering, programming languages, formal methods

Contributions