By the same authors

FORTEST: Formal Methods and Testing

Research output: Contribution to conferencePaper


  • Jonathan P. Bowen
  • Kirill Bogdanov
  • John A. Clark
  • Mark Harman
  • Robert M. Hierons
  • Paul Krause


Publication details

DatePublished - 2002
Original languageEnglish

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations