Citazione Stile APA (7a Edizione)

Lee, C., Porfirio, D., Wang, X. J., Zhao, K., & Mutlu, B. (2025). VeriPlan: Integrating Formal Verification and LLMs into End-User Planning.

Citazione stile Chigago Style (17a edizione)

Lee, Christine, David Porfirio, Xinyu Jessica Wang, Kevin Zhao, e Bilge Mutlu. VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. 2025.

Citatione MLA (9a ed.)

Lee, Christine, et al. VeriPlan: Integrating Formal Verification and LLMs into End-User Planning. 2025.