APA引文

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

Chicago Style (17th ed.) Citation

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

MLA引文

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

警告：這些引文格式不一定是100％准確.