Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Cita Chicago Style (17a ed.)Shaked, A., y T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Cita MLA (9a ed.)Shaked, A., y T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Precaución: Estas citas no son 100% exactas.