Slim Rekhis, Noureddine Boudriga. A formal logic-based language and an automated verification tool for computer forensic investigation. In Hisham Haddad, Lorie M. Liebrock, Andrea Omicini, Roger L. Wainwright, editors, Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005. pages 287-291, ACM, 2005. [doi]
Abstract is missing.