Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Gabriela Moreira
conf.researchr.org general profile
ICST 2025 profile
Not registered as user
Name:
Gabriela Moreira
Country:
Brazil
Affiliation:
Informal Systems
Contributions
2025
ICST
Author of Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs within the Industry-track
Share
x
Sun 30 Mar 15:04
