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

by Serguei A. Mokhov , Joey Paquet
Venue:Department of Electrical and Computer Engineering, Concordia University
Citations:6 - 6 self