Formally specifying and proving operational aspects of Forensic Lucid in Isabelle (0)

by S A Mokhov, J Paquet
Venue:Department of Electrical and Computer Engineering, Concordia University