The Early Search for Tractable Ways of Reasoning About Programs (2003)

by C. B. Jones
Venue:IEEE Annals of the History of Computing
Citations:15 - 2 self