Slashdot Items Tagged "!bugless"
Date / Time | Story |
---|---|
Thursday August 13, 2009 @12:26PM | World's First Formally-Proven OS Kernel |
Date / Time | Story |
---|---|
Thursday August 13, 2009 @12:26PM | World's First Formally-Proven OS Kernel |
Comparing information and knowledge is like asking whether the fatness of a pig is more or less green than the designated hitter rule." -- David Guaspari