William C. Carter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1965–1982
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1982 | ITC | Signature Testing with Guaranteed Bounds for Fault Coverage. | William C. Carter |
| 1979 | DAC | Symbolic simulation for correct machine design. | William C. Carter, William H. Joyner Jr., Daniel Brand |
| 1976 | MICRO | Automated proofs of microprogram correctness. | William H. Joyner Jr., William C. Carter, George B. Leeman Jr. |
| 1965 | FOCS | The controls automation system | B. R. S. Buckingham, William C. Carter, W. R. Crawford, G. A. Nowell |