Not registered as user yet
Name:Or Pistiner
Affiliation:Tel Aviv University
Contributions
| ICSE 2023 | Triggers for Reactive Synthesis Specifications Artifact for "Triggers for Reactive Synthesis Specifications" | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile