Belgacem Ben Hedia, Yu-Fang Chen, Gaiyun Liu, Zhenhua Yu Verification and Evaluation of Computer and Communication Systems - Springer Springer 2020 ISBN: 9783030659554 Source: EBOOK