Citazione Stile APA (7a Edizione)

Elsaleh, R., Davis, L., Wu, H., & Katz, G. (2026). Incremental Neural Network Verification via Learned Conflicts.

Citazione stile Chigago Style (17a edizione)

Elsaleh, Raya, Liam Davis, Haoze Wu, e Guy Katz. Incremental Neural Network Verification via Learned Conflicts. 2026.

Citatione MLA (9a ed.)

Elsaleh, Raya, et al. Incremental Neural Network Verification via Learned Conflicts. 2026.