Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Citazione stile Chigago Style (17a edizione)Shaked, A., e T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Citatione MLA (9a ed.)Shaked, A., e T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.