Cita APA (7a ed.)

Orvalho, P., & Kwiatkowska, M. (2025). PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C.

Cita Chicago Style (17a ed.)

Orvalho, Pedro, y Marta Kwiatkowska. PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C. 2025.

Cita MLA (9a ed.)

Orvalho, Pedro, y Marta Kwiatkowska. PyVeritas: On Verifying Python via LLM-Based Transpilation and Bounded Model Checking for C. 2025.