|
Survey of Approaches and Techniques for Security Verification of Computer Systems
点击次数：
发表刊物：Journal on Emerging Technologies in Computing Systems, 2022.
合写作者：Shuwen Deng,Faisal Zaghloul,Wenjie Xiong,Onur Demir,Jakub Szefer
第一作者：Ferhat Erata
是否译文：否
|
|
点击次数：
发表刊物：Journal on Emerging Technologies in Computing Systems, 2022.
合写作者：Shuwen Deng,Faisal Zaghloul,Wenjie Xiong,Onur Demir,Jakub Szefer
第一作者：Ferhat Erata
是否译文：否