Cita APA (7a ed.)
Honorato, V. C. (2025). AI-Assisted Formal Specification and Verification in Dafny: A Multi-Provider VS Code Extension. PQDT - Global.
Cita Chicago Style (17a ed.)
Honorato, Vinicius Correia. "AI-Assisted Formal Specification and Verification in Dafny: A Multi-Provider VS Code Extension." PQDT - Global 2025.
Cita MLA (9a ed.)
Honorato, Vinicius Correia. "AI-Assisted Formal Specification and Verification in Dafny: A Multi-Provider VS Code Extension." PQDT - Global, 2025.
Precaución: Estas citas no son 100% exactas.