Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
芝加哥风格引文Shaked, A., 与 T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
MLA引文Shaked, A., 与 T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
警告：这些引文格式不一定是100％准确.