Susan Stepney's publications

by main subject area (with some overlap):

Non-Standard Computation (2002-now)

Formal methods and Z (1987-now)

Object orientation (1992-1995, 2003-now)

Computer security (1986-1987, 2002-now)

CSP, occam, Handel-C (1987-1989, 2003)

Acorn User (1983-1991)

Astrophysics (1982-1985)

conference locations:

View conference locations in a larger map

I don't want to achieve immortality through my work ... I want to achieve it through not dying

-- Woody Allen

Publications via Google Scholar