Visible to the public Formal Specifications on Industrial-Strength Code

Submitted by TimTh on Wed, 08/17/2011 - 8:08am. Contributor:

Presented as part of the 2007 HCSS conference.

License: 
Creative Commons 2.5

Other available formats:

Formal Specifications on Industrial-Strength Code
Switch to experimental viewer