High-assurance systems

• 1 January 1997
• journal article
• Published by Association for Computing Machinery (ACM) in Communications of the ACM
• Vol. 40  (1) , 67
• https://doi.org/10.1145/242857.242877

Abstract

Keywords

• HIGH-ASSURANCE SYSTEM