Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis
٢٠٢٥
Distributed Computing and Internet Technology Distributed Computing and Internet Technology
٢٠٢٠