Sharon Flynn

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2006

2 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

	2006
2		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

Coauthor Index