Cited By
View all- (1980)Workshop on formal verificationACM SIGSOFT Software Engineering Notes10.1145/1005913.10059145:3(4-47)Online publication date: 1-Jul-1980
A comment on: "An exercise in automatic program verification"
Author: 
Ken FosterAuthors Info & Claims
Ken FosterAuthors Info & ClaimsPages 36 - 37
Abstract
No abstract available.
References
[1]
W. Polak, "An Exercise in Automatic Verification" IEEE Trans Software Engineering, vol, SE-5, no., 5, pp 453--458, Sept 1979
[2]
Various contributors, "ACM Forum - Comments on Social Processes and Proofs" Communications of the ACM Vol 22, no. 11, pp 621--630, Nov 1979
[3]
K, Foster, "Error Sensitive Test Cases Analysis" Digest of the workshop on Software Testing and Test Documentation NBS-IEEE pp 206--225, Dec 1978 (to appear in IEEE Trans. Software Engineering)
Comments
Information & Contributors
Information
Published In
Copyright © 1980 Author.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 January 1980
Published in SIGSOFT Volume 5, Issue 1
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 84Total Downloads
- Downloads (Last 12 months)9
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Oct 2024
Other Metrics
Citations
Cited By
View all- (1980)Workshop on formal verificationACM SIGSOFT Software Engineering Notes10.1145/1005913.10059145:3(4-47)Online publication date: 1-Jul-1980
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in