Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Citace podle Chicago (17th ed.)Shaked, A., a T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Citace podle MLA (9th ed.)Shaked, A., a T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..