Citazione Stile APA (7a Edizione)

Helbling, C., Leach-Krouse, G., Lasser, S., & Sullivan, G. (2025). cozy: Comparative Symbolic Execution for Binary Programs.

Citazione stile Chigago Style (17a edizione)

Helbling, Caleb, Graham Leach-Krouse, Sam Lasser, e Greg Sullivan. Cozy: Comparative Symbolic Execution for Binary Programs. 2025.

Citatione MLA (9a ed.)

Helbling, Caleb, et al. Cozy: Comparative Symbolic Execution for Binary Programs. 2025.