Correctness of Source-Level Safety Policies.

Ewen Denney, Bernd Fischer

Browse the full FM paper archive.