Verification and Evaluation of Computer and Communication SystemsMohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze · First published 2018Open the Tome