Citazione Stile APA (7a Edizione)

Arquint, L., Kishor, S., Koenig, J. R., Dodds, J., Kroening, D., & Müller, P. (2025). The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version).

Citazione stile Chigago Style (17a edizione)

Arquint, Linard, Samarth Kishor, Jason R. Koenig, Joey Dodds, Daniel Kroening, e Peter Müller. The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended Version). 2025.

Citatione MLA (9a ed.)

Arquint, Linard, et al. The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended Version). 2025.