James C. King
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1970–1978
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1978 | ICSE | Prospects for Program Verification (Tutorial). | James C. King |
| 1970 | STOC | An Interpretation Oriented Theorem Prover over Integers | James C. King, Robert W. Floyd |