Visible to the public Correctness by Construction: Developing a Commercial Secure System

Submitted by rod_chapman on Wed, 02/15/2012 - 4:43pm. Contributor:

Presented as part of the 2002 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Correctness by Construction: Developing a Commercial Secure System
Switch to experimental viewer