home
>
research
> publications
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