The Verified Software Initiative Download pdf Presented as part of the 2009 HCSS conference. Tags: SRI International Professional Organization Presentation HCSS '09 HCSS 2009 License: CC-2.5 Submitted by Anonymous on Fri, 07/01/2011 - 09:28
