Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid

30 May 2009

Papers citing "Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid"

2 / 2 papers shown

Title
Object-Oriented Intensional Programming: Intensional Classes Using Java and Lucid Aihua Wu J. Paquet Serguei A. Mokhov VLM 78 16 0 03 Sep 2009
Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle Serguei A. Mokhov J. Paquet 59 14 0 24 Apr 2009