String Analysis for Software Verification and Security

Full text!
Format:
e-book
Title:
String Analysis for Software Verification and Security
Author:
Bultan, Tevfik; Alkhalaf, Muath; Aydin, Abdulbaki; Yu, Fang
Language:
English
Publisher:
Springer International Publishing 2017
ISBN:
3-319-68668-2
3-319-68670-4
Permalink:
http://bibtest.howest.be/catalog/ebk03:3790000000544836?locale=en