Proceedings of the symposium on Testing, analysis, and verification
| Формат: | Электронный ресурс eКнига |
|---|---|
| Язык: | английский |
| Опубликовано: |
Association for Computing Machinery (ACM),
10/1/91
|
| Предметы: | |
| Online-ссылка: | Full text available on Research4Life (ACM) |
Схожие документы
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications
Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Proceedings of the 6th International Workshop on Constraints in Software Testing, Verification, and Analysis
ASME 2019 Verification and Validation Symposium
ASME 2021 Verification and Validation Symposium
ASME 2018 Verification and Validation Symposium
Proceedings of the 2019 ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Proceedings of the First International Workshop on Multimedia Verification
Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Proceedings of the 2014 International Symposium on Software Testing and Analysis
Proceedings of the 2015 International Symposium on Software Testing and Analysis
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Proceedings of the 2007 international symposium on Software testing and analysis
Proceedings of the eighteenth international symposium on Software testing and analysis
Proceedings of the 2006 international symposium on Software testing and analysis
Proceedings of the 2008 international symposium on Software testing and analysis
Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation
Proceedings of the 25th International Symposium on Software Testing and Analysis
Proceedings of the 19th international symposium on Software testing and analysis
Optical System Alignment, Tolerancing, and Verification IX
Optical System Alignment, Tolerancing, and Verification XIV
Optical System Alignment, Tolerancing, and Verification VIII
Optical System Alignment, Tolerancing, and Verification XI
Optical System Alignment, Tolerancing, and Verification VI
Optical System Alignment, Tolerancing, and Verification V
Optical System Alignment, Tolerancing, and Verification III
Optical System Alignment, Tolerancing, and Verification VII
Optical System Alignment, Tolerancing, and Verification IV
Optical System Alignment, Tolerancing, and Verification XIII
Optical System Alignment, Tolerancing, and Verification X
Optical System Alignment, Tolerancing, and Verification XII
Proceedings of the sixth workshop on Programming languages meets program verification
Proceedings of the 2006 conference on Specification and verification of component-based systems
Proceedings of the 1st Workshop on Kernel Isolation, Safety and Verification
Proceedings of the 2005 conference on Specification and verification of component-based systems
Proceedings of the 2007 workshop on Programming languages meets program verification
Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis