Verification and Evaluation of Computer and Communication Systems
  MLA
  Barkaoui, et al. Verification and Evaluation of Computer and Communication Systems. Springer International Publishing, 2017.
  APA
  Barkaoui, B., Boucheneb, H., Mili, A., & Tahar, S. (2017). Verification and Evaluation of Computer and Communication Systems. Springer International Publishing.
  Chicago
  Barkaoui, Hanifa Boucheneb, Ali Mili, and Sofiène Tahar. Verification and Evaluation of Computer and Communication Systems. : Springer International Publishing, 2017.