ECOOP and ISSTA 2018 (series) / Roman Manevich
![Roman Manevich](https://conf.researchr.org/getProfileImage/romanmanevich/13d85999-3cdd-4f2c-ae1b-e7b51712bdd3/small.jpg?1711611883000)
Registered user since Sun 22 Feb 2015
Name:Roman Manevich
Country:Israel
Affiliation:Ben-Gurion University of the Negev
Personal website: https://sites.google.com/view/roman-manevich/
Research interests:Software Verification, Abstract Interpretation, Synthesis, Concurrency
Contributions
ECOOP and ISSTA 2018-profile
View general profile
View general profile