Title: Verification and Evaluation of Computer and Communication Systems
Subjects: Computer networks, Computer software, Computer science