Tevfik Bultan · 3 obras en el catálogoObrasWeb Services and Formal Methods Lecture Notes in Computer Science Programming and SoftwareString Analysis for Software Verification and SecurityPProceedings of the 26th ACM SIGSOFT International Symposium Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
PProceedings of the 26th ACM SIGSOFT International Symposium Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis