Cita APA (7a ed.)

Metta, R., Karmarkar, H., & Madhukar, K. (2026). DIRNT Artifact: Corresponding to our SPIN 2026 paper "Recurrence-seeking Tests for Non-termination". Zenodo.

Cita Chicago Style (17a ed.)

Metta, Ravindra, Hrishikesh Karmarkar, y Kumar Madhukar. DIRNT Artifact: Corresponding to Our SPIN 2026 Paper "Recurrence-seeking Tests for Non-termination". Zenodo, 2026.

Cita MLA (9a ed.)

Metta, Ravindra, et al. DIRNT Artifact: Corresponding to Our SPIN 2026 Paper "Recurrence-seeking Tests for Non-termination". Zenodo, 2026.