Skip to content

Keith Mander

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

3

Active years

1993–2004

Best venue rank

B

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2004ITiCSEBack to the future?Keith Mander
1998ISSTAAutomated Program Flaw Finding Using Simulated Annealing.Nigel J. Tracey, John A. Clark, Keith Mander
1993FMThe SAZ Project: Integrating SSADM and Z..Fiona Polack, Mark Whiston, Keith Mander