Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yanis Sellami
conf.researchr.org general profile
POPL 2024 profile
Not registered as user
Name:
Yanis Sellami
Affiliation:
CEA, List, Univ. Grenoble Alpes
Contributions
2024
POPL
Author of Inference of Robust Reachability Constraints within the POPL-track
Share
x
Sun 22 Dec 04:10