| 1996 | ||
|---|---|---|
| 3 | T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen: Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study. FME 1996: 214-227 | |
| 2 | Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes: Applying Formal Specification in Industry. IEEE Software 13(3): 48-56 (1996) | |
| 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 | John S. Fitzgerald | [1] [2] [3] |
| 2 | M. A. Green | [1] |
| 3 | Peter Gorm Larsen | [1] [2] [3] |