| |
| 1998 | ||
|---|---|---|
| 1 | EE | Ian Toyn, David M. Cattrall, John A. McDermid, Jeremy L. Jacob: A practical language and toolkit for high-integrity tools. Journal of Systems and Software 41(3): 161-173 (1998) |
| 1 | Jeremy L. Jacob (Jeremy Jacob) | [1] |
| 2 | John A. McDermid | [1] |
| 3 | Ian Toyn | [1] |