Results 1-1 of 1

LibraryThing Review

User Review  - fpagan - LibraryThing

A quite scholarly "historical sociology" covering proofs of software correctness, computerized theorem proving, the example of the four-color theorem, verification of computer system security, the ... Read full review