Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
| Outros Autores: | Bultan |
|---|---|
| Formato: | Recurso Electrónico livro electrónico |
| Idioma: | inglês |
| Publicado em: |
Association for Computing Machinery (ACM),
7/21/08
|
| Assuntos: | |
| Acesso em linha: | Full text available on Research4Life (ACM) |
Registos relacionados
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Proceedings of the symposium on Testing, analysis, and verification
Proceedings of the 2008 ACM workshop on Secure web services
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Proceedings of the 2008 international symposium on Software testing and analysis
Proceedings of the 2004 workshop on Secure web service
Proceedings of the 2005 workshop on Secure web services
Proceedings of the First International Workshop on Multimedia Verification
Proceedings of the 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Proceedings of the 2007 ACM workshop on Secure web services
Proceedings of the 2009 ACM workshop on Secure web services
Proceedings of the 2008 workshop on Static analysis
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Proceedings of the 2008 EDBT workshop on Database technologies for handling XML information on the web
Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
Proceedings of the 3rd ACM workshop on Secure web services
Proceedings of the 4th Workshop on Emerging Web Services Technology
Proceedings of the 2008 International Conference on Web Search and Data Mining
Proceedings of the 2010 Workshop on Analysis and Programming Languages for Web Applications and Cloud Applications
Proceedings of the sixth workshop on Programming languages meets program verification
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification
Proceedings of the 2007 workshop on Programming languages meets program verification
Proceedings of International Conference on Information Integration and Web-based Applications & Services
Proceedings of the 2011 International Conference on Intelligent Semantic Web-Services and Applications
Proceedings of the 2008 international workshop on Context enabled source and service selection, integration and adaptation: organized with the 17th International World Wide Web Conference (WWW 2008)
Proceedings of the International Workshop on Web Information Systems & Applications
Proceedings of the 5th International Workshop on Enhanced Web Service Technologies
Proceedings of the 6th International Workshop on Enhanced Web Service Technologies
Proceedings of the 5th International Workshop on Web APIs and Service Mashups
International Journal of Web Services Research
Proceedings of the 7th workshop on Programming languages meets program verification
Proceedings of the 3rd workshop on Programming languages meets program verification
Proceedings of the 6th International Workshop on Verification and Monitoring at Runtime Execution
Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems
Registos relacionados
- Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
- Proceedings of the symposium on Testing, analysis, and verification
- Proceedings of the 2008 ACM workshop on Secure web services
- Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
- Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification