ECOOP and ISSTA (series) / Roman Manevich
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
| SOAP 2018 | Committee Member in Program Committee within the SOAP-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ECOOP and ISSTA-profile
View general profile
View general profile