Verification and Evaluation of Computer and Communication SystemsMohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze · First published 2018Open the Tome
From Programs to Systems - The Systems Perspective in ComputingSaddek Bensalem, Yassine Lakhnech, Axel Legay · First published 2014Open the Tome
