 | Up a level |
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
| Up a level |
Hennessy, Matthew (2004) The Security Picalculus and Non-interference. Journal of Logic and Algebraic Programming, 63 (1). pp. 3-34. ISSN 15678326