Pierre Ganty Verification and Evaluation of Computer and Communication Systems - 2019 - springer 2019 - Lecture Notes in Computer Science . ISBN: 9783030350925 Subjects--Topical Terms: Computer Engineering and NetworksComputer Science