Browse by Journal

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Hennessy, Matthew (2004) The Security Picalculus and Non-interference. Journal of Logic and Algebraic Programming, 63 (1). pp. 3-34. ISSN 15678326

This list was generated on Tue Sep 17 14:38:55 2019 BST.