Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Lua i Stíl Chicago (17ú heag.)Shaked, A., agus T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Lua MLA (9ú heag.)Shaked, A., agus T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.