MLA

Atig, et al. Verification and Evaluation of Computer and Communication Systems. Springer International Publishing, 2018.

APA

Atig, A., Bruno Monsuez, B. Monsuez, Saddek Bensalem, S. Bensalem, Simon Bliudze, S. Bliudze, Bensalem, S., Bliudze, S., & Monsuez, B. (2018). Verification and Evaluation of Computer and Communication Systems. Springer International Publishing.

Chicago

Atig, Bruno Monsuez, Saddek Bensalem, Simon Bliudze, Saddek Bensalem, Simon Bliudze, and Bruno Monsuez. Verification and Evaluation of Computer and Communication Systems. : Springer International Publishing, 2018.