Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումShaked, A., and T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
MLA (9րդ խմբ.) ՄեջբերումShaked, A., and T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.