Principles of an Assurance Algebra for Dependable Software

Research output: Working paper

Original languageEnglish
Publication statusPublished - 1989

Cite this