Correctness by Construction of High-Integrity Software Download pdf Presented as part of the 2003 HCSS conference. Tags: Praxis Industry Presentation HCSS '03 HCSS 2003 License: CC-2.5 Submitted by Anonymous on Mon, 09/12/2011 - 12:35
