Cover 2

Mechanizing Proof

Mechanizing Proof: Computing, Risk, and Trust

2004