| Original language | English |
|---|---|
| Pages | 63-75 |
| Publication status | Published - 1994 |
Tool Support for High Integrity Ada Software
A. D. Hutcheon, D. T. Jordan, John A. McDermid, R. H. Pierce, I. C. Wand, B. J. Jepson, Marcel Toussaint
Research output: Contribution to conference › Paper › peer-review