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 Mon May 29 05:07:32 2017 BST.