Correctness of Source-level Safety Policies (2003)

by E Denney, B Fischer
Venue:Proceedings of FM 2003: Formal Methods, number 2805 in Lecture Notes in Computer Science