Verification and Evaluation of Computer and Communication Systems Verification and Evaluation of Computer and Communication Systems
٢٠٢٠
Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
٢٠١٩