| Original language | English |
|---|---|
| Publication status | Published - 1994 |
Literate Formal Development of Ada from Z for Safety Critical Applications
D T Jordan, C J Locke, J A McDermid, C Parker, B A P Sharpe, I Toyn
Research output: Contribution to conference › Paper › peer-review