Type and Effect Systems |
F. Nielson, H. Riis Nielson
|
| Type | Book [Chapter] |
| Book title | Correct System Design |
| Editors | E. R. Olderog and B. Steffen |
| Year | 1999 No. 1710 pp. 114-136 |
| Series | Lecture Notes in Computer Science |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |