Computer Program Verification:Improvements for Human Reasoning

Front Matter [121 kb]
Chapter 1 [187 kb]
Chapter 2 [206 kb]
Chapter 3 [264 kb]
Chapter 4 [458 kb]
Chapter 5 [123 kb]
Bibliography [70 kb]

Last modified: Tue Jul 9 12:39:54 EDT 2002