VeCoGen: Automating Generation of Formally Verified C Code With Large Language Models. - Merlijn Sevenhuijsen; Khashayar Etemadi; Mattias Nyberg (FormaliSE, 2025)