| Original language | English |
|---|---|
| Publication status | Published - 1993 |
The Formal Analysis of Ada Programs
A D Hutcheon, D T Jordan, J A McDermid, I C Wand
Research output: Contribution to conference › Paper › peer-review
A D Hutcheon, D T Jordan, J A McDermid, I C Wand
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Publication status | Published - 1993 |