Παραπομπή σε μορφή APA (7η εκδ.)

Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Shaked, A., και T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.

Παραπομπή σε μορφή MLA (9th εκδ.)

Shaked, A., και T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.