conf.researchr.org / Narges Shadab
Not registered as user yet
Name: Narges Shadab
Affiliation: University of California, Riverside
Contributions
ECOOP 2021 | Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track |
ICFP 2020 | Author of TLC: Temporal Logic of Distributed Components within the ICFP Program-track |