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