Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Cita Chicago (17th ed.)Shaked, A., i T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Cita MLA (9th ed.)Shaked, A., i T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Atenció: Aquestes cites poden no estar 100% correctes.