A monadic analysis of information flow security with mutable state (Q4676158)
From MaRDI portal
scientific article; zbMATH DE number 2164311
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A monadic analysis of information flow security with mutable state |
scientific article; zbMATH DE number 2164311 |
Statements
A monadic analysis of information flow security with mutable state (English)
0 references
3 May 2005
0 references
