Slashdot Mirror

← Back to Topics

Topic: Os · 1 stories (clear)

• World's First Formally-Proven OS Kernel
  Tech · Os · 2009-08-12 23:57 · posted by Soulskill · from the wait-for-it dept. · 517 comments