Program algebra and copogram calculus
| Authors |
|
|---|---|
| Publication date | 2000 |
| Host editors |
|
| Book title | Foundations of Secure Computation |
| Series | NATO Science Series, 175 |
| Pages (from-to) | 61-88 |
| Number of pages | 28 |
| Publisher | IOS Press |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
