A Proof System for Ada Tasks

Research output: Contribution to journalArticle

  • Authors:
  • Howard Barringer
  • I Mearns

Bibliographical metadata

Original languageEnglish
Pages (from-to)404-415
Number of pages12
JournalComput. J
Volume29
Issue number5
Publication statusPublished - 1986