Formalizing Computer Forensic Analysis: A Proof-Based Methodology (2004)

by Joseph C. Sremack