[ACM Press the 3rd ACM SIGACT-SIGPLAN symposium - Atlanta, Georgia (1976.01.19-1976.01.21)] Proceedings of the 3rd ACM SIGACT-SIGPLAN symposium on Principles on programming languages - POPL '76 - Test data as an aid in proving program correctness
- 作者Geller, Matthew
- 文件大小858.35KB
- 发表时间1976
- DOI10.1145/800168.811554
- 页码209-218
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - F.I.S.H.Brand, Russell L. · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - ComputingWebster, Anne; Lyons, Leila · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - Author IndexAnonymous, · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - Presentation graphicsMartin, Jerry · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - Word processorsDoherty, Carol W. · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - The next stepMize, Margaret P. · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - Software lending libraryAllen, Karen W. · 1984
[ACM Press the 12th annual ACM SIGUCCS conference - Reno, Nevada, United States (1984.11.11-1984.11.14)] Proceedings of the 12th annual ACM SIGUCCS conference on User services - SIGUCCS '84 - The information centerYeidel, Joshua E.; Ball, George W. · 1984