| 1994 | ||
|---|---|---|
| 1 | John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: first results in a comparative study. FME 1994: 35-44 | |
| 1 | T. M. Brookes | [1] |
| 2 | John S. Fitzgerald | [1] |
| 3 | Peter Gorm Larsen | [1] |