Bultan, T., Yu, F., Alkhalaf, M., & Aydin, A. (2017). String analysis for software verification and security. Springer. https://doi.org/10.1007/978-3-319-68670-7
Chicago-Zitierstil (17. Ausg.)Bultan, Tevfik, Fang Yu, Muath Alkhalaf, und Abdulbaki Aydin. String Analysis for Software Verification and Security. Cham: Springer, 2017. https://doi.org/10.1007/978-3-319-68670-7.
MLA-Zitierstil (9. Ausg.)Bultan, Tevfik, et al. String Analysis for Software Verification and Security. Springer, 2017. https://doi.org/10.1007/978-3-319-68670-7.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.