TY  - RPRT
TI  - Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle
AU  - Serguei A. Mokhov
AU  - Joey Paquet
PY  - 2009
UR  - https://arxiv.org/abs/0904.3789
ID  - 0904.3789
ER  -