J. R. Jefferson Wadkins

According to our database, J. R. Jefferson Wadkins authored at least 2 papers between 1983 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

Rigorous proofs of program correctness without formal logic.

J. R. Jefferson Wadkins

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1983

Advanced placement program in computer science(Panel Session).

David C. Rine, J. R. Jefferson Wadkins, Stephen J. Garland

Proceedings of the 14th SIGCSE Technical Symposium on Computer Science Education, 1983