home       events       who's who       sponsors       bibliography       links       documents

Formal Methods and Testing Network (FORTEST) - Sponsors

Brunel University
Rob Hierons and Mark Harman

University of Kent at Canterbury
John Derrick, Keith Mander and Jim Woodcock

University of Liverpool
Martin Woodward

London South Bank University
Jonathan Bowen

Sheffield University
Mike Holcombe, Kirill Bogdanov, Anthony Simons, Tony Cowling and Marian Gheorghe

York University
John Clark and Steve King

DaimlerChrysler, Berlin
Harbhajan Singh and Simon Burton

DERA
Colin O'Halloran

Philips Research Laboratories and Surrey University
Paul Krause

Praxis Critical Systems Ltd
Keith Harrison

Telelogic
Jeremy Dick

all text and images copyright © fortest 2002