Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Emanuel Trigo
conf.researchr.org general profile
FSEN 2025 profile
Registered user since Fri 4 Apr 2025
Name:
Emanuel Trigo
Country:
Portugal
Affiliation:
Faculty of Engineering, University of Porto, Portugal
Contributions
2025
FSEN
Author of Automatic Generation of Loop Invariants in Dafny with Large Language Models within the Research Papers-track
Share
x
Thu 1 May 16:05