Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Merlijn Sevenhuijsen
conf.researchr.org general profile
ICSE 2025 profile
Registered user since Fri 17 Jan 2025
Name:
Merlijn Sevenhuijsen
Affiliation:
Scania CV, AB & KTH Royal Institute of Technology
Contributions
2025
FormaliSE
Author of VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models within the Research Track-track
Share
x
Wed 19 Mar 23:46
