String analysis for software verification and security. ([2017]) - Bultan, Tevfik
No abstract available