Validating Programs in Concurrent ML |
F. Nielson
|
| Type | Book [Chapter] |
| Book title | Research Directions in Parallel Functional Programming |
| Editors | K. Hammond and G. Michaelson |
| Year | 1999 pp. 361-378 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |