Cita APA

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

Citación estilo Chicago

Shaked, A., and T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.

Cita MLA

Shaked, A., and T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.

Warning: These citations may not always be 100% accurate.