Write a Blog >>

Not registered as user yet

Name: Yaniv Sa’ar

Affiliation: Nokia Bell Labs, Kfar Saba, Israel

Contributions

POPL 2020 Synthesis of Coordination Programs from Linear Temporal Specifications
Show activities from other conferences

POPL 2020-profile
View general profile