String Analysis for Software Verification and Security
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.