Correctness by Construction: Developing a Commercial Secure System

pdf

Presented as part of the 2002 HCSS conference.

  • Praxis Critical Systems Limited
  • Industry
  • Presentation
  • HCSS '02
  • HCSS 2002
Submitted by Anonymous on Wed, 02/15/2012 - 15:43