Title: String Analysis for Software Verification and Security
Subjects: Computer science, Software engineering, Programming languages (electronic computers), Computer security, Logic, symbolic and mathematical