Mukherjee, P., & Delaware, B. (2024). Towards Automated Verification of LLM-Synthesized C Programs.
Style de citation Chicago (17e éd.)Mukherjee, Prasita, et Benjamin Delaware. Towards Automated Verification of LLM-Synthesized C Programs. 2024.
Style de citation MLA (9e éd.)Mukherjee, Prasita, et Benjamin Delaware. Towards Automated Verification of LLM-Synthesized C Programs. 2024.
Attention : ces citations peuvent ne pas être correctes à 100%.