![Sergey Mechtaev](https://conf.researchr.org/getProfileImage/sergeymechtaev/189df947-ac5a-4b84-a9f9-484a4f42a826/small.jpg?1715942076000)
Registered user since Wed 20 Dec 2017
Name:Sergey Mechtaev
Affiliation:National University of Singapore
Personal website: http://www.comp.nus.edu.sg/~mechtaev/
Research interests:software engineering, programming languages, formal methods
Contributions
* ICSE 2018 *-profile
View general profile
View general profile