BibSonomy :: publication :: Correctness of Source-Level Safety Policies.
URLDOITeX

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

URL:http://dblp.uni-trier.de/db/conf/fm/fme2003.html#DenneyF03
BibTeX key:conf/fm/DenneyF03
internal link:
?
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.
search on:

Comments or reviews  
(0)

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

Tags

  • Last update 2 years and 9 months ago
  • Created 2 years and 9 months ago

Cite this publication

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)