SHAKED, A. und MELHAM, T., 2025. Contextualizing Formal Verification for Systems Security Engineering. IEEE Security & Privacy, Security & Privacy, IEEE, IEEE Secur. Privacy. 1 März 2025. Vol. 23, no. 2, p. 32-41. DOI 10.1109/MSEC.2024.3503753.
Elsevier - Harvard (with titles)Shaked, A., Melham, T., 2025. Contextualizing Formal Verification for Systems Security Engineering. IEEE Security & Privacy, Security & Privacy, IEEE, IEEE Secur. Privacy 23, 32-41. https://doi.org/10.1109/MSEC.2024.3503753
American Psychological Association 7th editionShaked, A., & Melham, T. (2025). Contextualizing Formal Verification for Systems Security Engineering. IEEE Security & Privacy, Security & Privacy, IEEE, IEEE Secur. Privacy, 23(2), 32-41. https://doi.org/10.1109/MSEC.2024.3503753
Springer - Basic (author-date)Shaked A, Melham T (2025) Contextualizing Formal Verification for Systems Security Engineering. IEEE Security & Privacy, Security & Privacy, IEEE, IEEE Secur. Privacy 23:32-41. https://doi.org/10.1109/MSEC.2024.3503753
Juristische Zitierweise (Stüber) (Deutsch)Shaked, A./ Melham, T., Contextualizing Formal Verification for Systems Security Engineering, IEEE Security & Privacy, Security & Privacy, IEEE, IEEE Secur. Privacy 2025, 32-41.