Automated Technology for Verification and Analysis
Dang Van Hung
Paperback
Not Available
Distributed Computing and Internet Technology
Theoretical Aspects of Computing – ICTAC 2017