Tevfik Bultan

String Analysis for Software Verification and Security

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis

Web Services and Formal Methods Lecture Notes in Computer Science Programming and Software