J. R. Jefferson Wadkins

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1995

Rigorous proofs of program correctness without formal logic.

[BibT_eX]

[DOI]

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

1983

Advanced placement program in computer science(Panel Session).

[BibT_eX]

[DOI]

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