Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Shaked, A., و T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)Shaked, A., و T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.