| |
| 2006 | ||
|---|---|---|
| 2 | EE | Sharon Flynn, Dick Hamlet: On Formal Specification of Software Components and Systems. Electr. Notes Theor. Comput. Sci. 161: 91-107 (2006) |
| 1998 | ||
| 1 | Sharon Flynn, Andrew Butterfield: 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998 BCS 1998 | |
| 1 | Andrew Butterfield | [1] |
| 2 | Dick Hamlet | [2] |