Cita APA (7a ed.)

Uppar, A., Muhammad, O., Prabhu, S., D'Souza, D., P, M., & Murali, A. (2026). Verification Modulo Tested Library Contracts.

Cita Chicago Style (17a ed.)

Uppar, Abhishek, Omar Muhammad, Sumanth Prabhu, Deepak D'Souza, Madhusudan P, y Adithya Murali. Verification Modulo Tested Library Contracts. 2026.

Cita MLA (9a ed.)

Uppar, Abhishek, et al. Verification Modulo Tested Library Contracts. 2026.