Sharon Flynn

Publication Activity (10 Years)

Years Active: 1994-2006
Publications (10 Years): 0

University of Glasgow, UK (PHD)

Education History

University of Glasgow, UK

PHD

Publications

Sharon Flynn, Dick Hamlet
On Formal Specification of Software Components and Systems. Electron. Notes Theor. Comput. Sci. 161 (2006)
Alexander Bunkenburg, Sharon Flynn
Expression Refinement: Deriving Bresenham's Algorithm. Functional Programming (1994)