Shaked, A., & Melham, T. (2024). Contextualizing formal verification for systems security engineering. IEEE.
Чикаго-гийн эшлэл (17 дахь хэвлэлт)Shaked, A., ба T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
MLA -ийн эшлэл (9 дэх хэвлэлт)Shaked, A., ба T. Melham. Contextualizing Formal Verification for Systems Security Engineering. IEEE, 2024.
Анхааруулга: Эдгээр ишлэлүүд үргэлж 100% үнэн зөв биш байж магадгүй.