Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ivan Gavran
conf.researchr.org general profile
ICST 2025 profile
Not registered as user
Name:
Ivan Gavran
Country:
Austria
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 14:07
