| Original language | English |
|---|---|
| Place of Publication | St. Louis MO, USA |
| Publisher | Washington University, Department of Computer Science |
| Number of pages | 49 |
| Publication status | Published - 1988 |
Publication series
| Name | Technical Report |
|---|---|
| Volume | WUCS-88-20 |
The mathematics of directed specifications
J.T. Udding, T. Verhoeff
Research output: Book/Report › Report › Academic