Analysis of LYSA-calculus with explicit confidentiality annotations |
Han Gao, Hanne Riis Nielson
|
| Type | Conference paper [Abstract] |
| Conference | Nordic Workshop on Programming Theory |
| Year | 2005 Month October |
| Electronic version(s) | [pdf] |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |