The Challenge of Verified Software Download pdf Presented as part of the 2005 HCSS conference. Tags: SRI International Industry Presentation HCSS '05 HCSS 2005 License: CC-2.5 Submitted by Anonymous on Wed, 08/24/2011 - 08:02
