J. R. Jefferson Wadkins

Publication Activity (10 Years)

Years Active: 1983-1995
Publications (10 Years): 0

Publications

J. R. Jefferson Wadkins
Rigorous proofs of program correctness without formal logic. SIGCSE (1995)
David C. Rine, J. R. Jefferson Wadkins, Stephen J. Garland
Advanced placement program in computer science(Panel Session). SIGCSE (1983)