MLA

Bultan, Tevfik, et al. String Analysis for Software Verification and Security. Springer International Publishing, 2017.

APA

Bultan, T., Alkhalaf, M., Aydin, A., & Yu, F. (2017). String Analysis for Software Verification and Security. Springer International Publishing.

Chicago

Bultan, Tevfik, Muath Alkhalaf, Abdulbaki Aydin, and Fang Yu. String Analysis for Software Verification and Security. : Springer International Publishing, 2017.