String Analysis for Software Verification and Security

Abdulbaki

von: Tevfik Bultan · Fang Yu · Muath Alkhalaf · Abdulbaki Aydin

Taschenbuch

ISBN-13: 978-3-319-88637-4

ISBN-10: 3-319-88637-1

Springer · Juni 2019

S. auch:
2018Gebundene AusgabeString Analysis for Software Verification and Security