Formally Specifying and Proving Operational Aspects of Forensic Lucid in
Isabelle

Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle

24 April 2009

Serguei A. Mokhov

ArXiv (abs)PDF HTML

Papers citing "Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle"

Title
No papers