Disappearing Formal Methods Download pdf Presented as part of the 2001 HCSS conference. Tags: SRI International Research Organization HCSS '01 HCSS 2001 License: CC-2.5 Submitted by Anonymous on Wed, 02/15/2012 - 14:43
