Cita APA (7a ed.)

Metta, R., Karmarkar, H., Madhukar, K., Venkatesh, R., Chakraborty, S., & Chakraborty, S. (2024). A shallow dive into the depths of non-termination checking for C programs.

Cita Chicago Style (17a ed.)

Metta, Ravindra, Hrishikesh Karmarkar, Kumar Madhukar, R. Venkatesh, Supratik Chakraborty, y Samarjit Chakraborty. A Shallow Dive into the Depths of Non-termination Checking for C Programs. 2024.

Cita MLA (9a ed.)

Metta, Ravindra, et al. A Shallow Dive into the Depths of Non-termination Checking for C Programs. 2024.