The Mechanically Verified Stack Challenge Download Presented as part of the 2002 HCSS conference. Tags: University of Texas at Austin Academia Presentation HCSS '02 HCSS 2002 License: CC-2.5 Submitted by William Martin on Wed, 02/15/2012 - 15:46