Rafi Shalom

Registered user since Tue 23 Apr 2019

Name: Rafi Shalom

Affiliation: Tel Aviv University

Contributions

ICSE 2019Author of Symbolic Repairs for GR(1) Specifications within the Technical Track-track