Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Myriam Clouet
conf.researchr.org general profile
STAF 2023 profile
Registered user since Wed 19 Jul 2023
Name:
Myriam Clouet
Country:
France
Affiliation:
Université Paris-Saclay, CEA, List
Contributions
2023
TAP
Presenter of Context Specification Language for Formal Verification of Consent Properties on Models and Code within the Research Papers-track
Share
x
Sun 12 May 14:32