Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Chicago-referens (17:e uppl.)Shaked, A., och T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
MLA-referens (9:e uppl.)Shaked, A., och T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.