No matches were found for subject:"Re\: \[SC\-L\] Cost of provably\-correct code \(was\: bumper sticker slogan for secure software\)"