Correctness of Source-Level Safety Policies (2003)

by Ewen Denney , Bernd Fischer
Venue:Proceedings FM 2003: Formal Methods, volume 2805 of Lect. Notes Comp. Sci
Citations:32 - 21 self