| Original language | English |
|---|---|
| Pages (from-to) | 404-415 |
| Number of pages | 12 |
| Journal | Comput. J |
| Volume | 29 |
| Issue number | 5 |
| Publication status | Published - 1986 |
A Proof System for Ada Tasks
Howard Barringer, I Mearns
Research output: Contribution to journal › Article