Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Margarita Capretto
conf.researchr.org general profile
MODELS 2025 profile
Not registered as user
Name:
Margarita Capretto
Country:
Spain
Affiliation:
IMDEA Software Institute and Universidad Politécnica de Madrid
Contributions
2025
MODELS
Author of Modal Abstractions for Smart Contract Validation within the Research Papers-track
Author of Modal Abstractions for Smart Contract Validation within the Posters-track
Share
x
Thu 11 Dec 15:34