Cita APA (7a ed.)

Faria, J. P., Trigo, E., Honorato, V., & Abreu, R. (2026). Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles.

Cita Chicago Style (17a ed.)

Faria, João Pascoal, Emanuel Trigo, Vinicius Honorato, y Rui Abreu. Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles. 2026.

Cita MLA (9a ed.)

Faria, João Pascoal, et al. Automatic Generation of Formal Specification and Verification Annotations Using LLMs and Test Oracles. 2026.