ECOOP 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Roman Manevich

Registered user since Sun 22 Feb 2015

Name:Roman Manevich
Affiliation:Ben-Gurion University of the Negev
Research interests:Software Verification, Abstract Interpretation, Synthesis, Concurrency


Show activities from other conferences

ECOOP and ISSTA 2018-profile
View general profile