Correctness of source-level safety policies (0)

by E Denney, B Fischer
Venue:Proc. FM 2003: Formal Methods, LNCS 2805 (2003