Not registered as user yet

Name:Yaniv Sa'ar
Affiliation:Nokia Bell Labs, Kfar Saba, Israel

Contributions

POPL 2020 Author of Synthesis of Coordination Programs from Linear Temporal Specifications within the Research Papers-track