APA-Zitierstil (7. Ausg.)

Zhang, L., Lu, S., & Duan, N. (2024). Selene: Pioneering Automated Proof in Software Verification.

Chicago-Zitierstil (17. Ausg.)

Zhang, Lichen, Shuai Lu, und Nan Duan. Selene: Pioneering Automated Proof in Software Verification. 2024.

MLA-Zitierstil (9. Ausg.)

Zhang, Lichen, et al. Selene: Pioneering Automated Proof in Software Verification. 2024.