MLA

Ganty, and Mohamed Kaâniche. Verification and Evaluation of Computer and Communication Systems. Springer International Publishing, 2019.

APA

Ganty, G., & Kaâniche, M. (2019). Verification and Evaluation of Computer and Communication Systems. Springer International Publishing.

Chicago

Ganty, and Mohamed Kaâniche. Verification and Evaluation of Computer and Communication Systems. : Springer International Publishing, 2019.