Visible to the public The Mechanically Verified Stack Challenge

Submitted by brad_martin on Wed, 02/15/2012 - 5:46pm. Contributor:

Presented as part of the 2002 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

The Mechanically Verified Stack Challenge
Switch to experimental viewer