String analysis for software verification and security /

Main Authors: Bultan, Tevfik
Group Author: Yu, Fang; Alkhalaf, Muath; Aydin, Abdulbaki
Published: Springer,
Publication Dates: [2017]
Call Number: TP311.5/B939