Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marius Bozga
conf.researchr.org general profile
POPL 2024 profile
SPLASH 2022 profile
Not registered as user
Name:
Marius Bozga
Country:
France
Affiliation:
CNRS; Université Grenoble Alpes
Contributions
2024
VMCAI
Author of Function synthesis for maximizing model counting within the VMCAI 2024-track
2022
SPLASH
Author of Reasoning about Distributed Reconfigurable Systems within the V-OOPSLA-track
Share
x
Sun 22 Dec 09:34