Specware - Producing Software Correct by Construction Download Tags: HCSS 2001 Kestrel Institute Conference paper Research Organization HCSS '01 License: CC-2.5 Submitted by Timothy Thimmesch on Thu, 02/09/2012 - 13:59