By the same authors

Tool Support for High Integrity Ada Software

Research output: Contribution to conferencePaperpeer-review


  • A. D. Hutcheon
  • D. T. Jordan
  • John A. McDermid
  • R. H. Pierce
  • I. C. Wand
  • B. J. Jepson
  • Marcel Toussaint


Publication details

DatePublished - 1994
Original languageEnglish

Discover related content

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

View graph of relations