APA (7th ed.) Citation

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.

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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