Slashdot
Stories
Firehose
All
Popular
Polls
Software
Newsletter
Jobs
Submit
Search Slashdot
Login
or
Sign up
Topics:
Devices
Build
Entertainment
Technology
Open Source
Science
YRO
Follow us:
RSS
Facebook
LinkedIn
Twitter
Youtube
Mastodon
Newsletter
Nickname:
Password:
Public Terminal
Forgot your password?
Close
Slashdot Items Tagged "!bugless"
Date / Time
Story
Thursday August 13, 2009 @12:26PM
World's First Formally-Proven OS Kernel
This file will self-destruct in five minutes.
Nickname:
Password:
Public Terminal
Forgot your password?
Close
Close
Close
Close
Slashdot
