| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| String Analysis for Software Verification and Security | Taschenbuch | 978-3-319-88637-4 (3-319-88637-1) | 2019 | Tevfik Bultan · Fang Yu · Abdulbaki Aydin |
| String Analysis for Software Verification and Security | Gebunden | 978-3-319-68668-4 (3-319-68668-2) | 2018 | Tevfik Bultan · Fang Yu · Abdulbaki Aydin |