Chris Johnson, Index.
Formal Proof Techniques
- We've repeated this on other reports.
Reasoning About Human Error and System Failure for Accident Analysis.
Proving Properties of Accidents.
See also my publication list.
- Compressed postscript format:
-- mail me if there are problems.