Cita APA (7a ed.)

Sevenhuijsen, M., Etemadi, K., & Nyberg, M. (2024). VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models.

Cita Chicago Style (17a ed.)

Sevenhuijsen, Merlijn, Khashayar Etemadi, y Mattias Nyberg. VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models. 2024.

Cita MLA (9a ed.)

Sevenhuijsen, Merlijn, et al. VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models. 2024.