String Analysis for Software Verification and Securityde Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki AydinMateriasComputer scienceSoftware engineeringProgramming languages (electronic computers)Computer securityLogic, symbolic and mathematicalEdiciones (2)String Analysis for Software Verification and Security (2019)
PProceedings of the 26th ACM SIGSOFT International Symposium Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
