Write a Blog >>
MSR 2021
Mon 17 - Wed 19 May 2021
co-located with ICSE 2021
Rafi Shalom

Registered user since Tue 23 Apr 2019

Name:Rafi Shalom
Country:Israel
Affiliation:Tel Aviv University, Israel
Research interests:GR(1) Synthesis

Contributions

ICSE 2021 Unrealizable Cores for Reactive Systems Specifications: Artifact
Unrealizable Cores for Reactive Systems Specifications
Show activities from other conferences

ICSE 2021-profile
View general profile