Ian Mitchell. A Formal Logic for Digital Investigations: A Case Study using BPB modifications.. In Nathan L. Clarke, Theodore Tryfonas, editors, 6th International Workshop on Digital Forensics and Incident Analysis, WDFIA 2011, London, UK, July 7-8, 2011. Proceedings. pages 44-54, Plymouth University, UK, 2011. [doi]
Abstract is missing.