High Integrity Ada: Principles and Problems

Research output: Contribution to conferencePaperpeer-review

Original languageEnglish
Pages95-107
Number of pages13
Publication statusPublished - 1993

Cite this