| D R A F T |
Cliff B. Jones |
||||||||||||||||||||||||||||
|
History of Computing
People
Computing Applications Basics Languages Machines Networks Operating Systems People Software Technology Time Periods Bibliography Feedback www.dgatx.com 2007 Dec 29 |
Selected Works Cliff B. Jones. "The Early Search for Tractable Ways of Reasoning about Programs" IEEE Annals of the History of Computing Vol 25, No 2 (2003): 26-49. |
||||||||||||||||||||||||||||
|
|
|