Program Verification and the Church-Rosser Theorem Download Presented as part of the 2001 HCSS conference. Tags: NSA Presentation HCSS '01 HCSS 2001 License: CC-2.5 Submitted by William Martin on Tue, 02/14/2012 - 11:36
