String Analysis for Software Verification and Security

Abdulbaki

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

Gebunden

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

ISBN-10: 3-319-68668-2

Springer · 2018

Siehe auch:
2019TaschenbuchString Analysis for Software Verification and Security