By the same authors

The Value of Verification: Positive Experience of Industrial Proof

Research output: Contribution to conferencePaper


  • Steve King
  • Jonathan Hammond
  • Roderick Chapman
  • Andy Pryor


Publication details

DatePublished - 1999
Original languageUndefined/Unknown

Discover related content

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

View graph of relations