String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

String Analysis for Software Verification and Security - Springer Springer 2017

9783319686707

EBOOK