Citazione Stile APA (7a Edizione)

Wang, H. D., Lopez, D. M., Robinette, P. K., Oguz, I., Johnson, T. T., & Ma, M. (2026). Towards Verified and Targeted Explanations through Formal Methods.

Citazione stile Chigago Style (17a edizione)

Wang, Hanchen David, Diego Manzanas Lopez, Preston K. Robinette, Ipek Oguz, Taylor T. Johnson, e Meiyi Ma. Towards Verified and Targeted Explanations Through Formal Methods. 2026.

Citatione MLA (9a ed.)

Wang, Hanchen David, et al. Towards Verified and Targeted Explanations Through Formal Methods. 2026.