
Registered user since Tue 23 Apr 2019
Name:Rafi Shalom
Affiliation:Tel Aviv University
Contributions
ICSE 2019 | Symbolic Repairs for GR(1) Specifications | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2019-profile
View general profile
View general profile