Subject Datestamp Replies Score
Re:a language that forces good code?  *Tuesday June 18, 2002 @11:59AM 1 2, Informative
   attached to Why (Most) Software is so Bad
Cyclone is good, but check out SPARK...  *Friday November 16, 2001 @04:31PM 1 2, Informative
   attached to C with Safety - Cyclone
Re:Obligatory Ada95 plug...  *Friday November 16, 2001 @10:54AM  1
   attached to Portable Coding and Cross-Platform Libraries?
Re:What B2/A1 security is all about  *Monday September 25, 2000 @10:28PM  1
   attached to Certifying software as Secure?