Statistics
Publications
1
Citations
23
H-Index
1
Active since
1976
Affiliations
IBM (United States)(Current)
W. C. Carter is an author at IBM (United States) specializing in verification, automated verification, and software engineering.
Publications per year
1976–1976
1
1
Automated proofs of microprogram correctness
William H. Joyner, W. C. Carter, George B. Leeman · 1976 · 23 citations · Full text
1–1 of 1