Verification and Evaluation of Computer and Communication Systems

Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze · 2018