Pierre Ganty, Mohamed Kaâniche Verification and Evaluation of Computer and Communication Systems - Springer Springer 2019 ISBN: 9783030350925 Source: EBOOK