Correctness of Source-Level Safety Policies.

Ewen Denney, and Bernd Fischer 0002. FME, volume 2805 of Lecture Notes in Computer Science, page 894-913. Springer, (2003)

Links and resources

You can use this internal link to create references to this post in your discussions. Just copy this internal link and paste it in your discussion text.

Comments or reviews  

There is no review or comment yet. You can write one!


Cite this publication