Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Corazza
conf.researchr.org general profile
ICST 2025 profile
Not registered as user
Name:
Jan Corazza
Country:
Germany
Affiliation:
TU Dortmund University
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:11
