Web Services and Formal Methods Lecture Notes in Computer Science Programming and Softwarede Tevfik BultanMateriasInformation storage and retrieval systemsInformation systemsComputer scienceSoftware engineeringWeb servicesSystem designCongressesUser Interfaces and Human Computer InteractionInformation retrieval
PProceedings of the 26th ACM SIGSOFT International Symposium Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis