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.