Slashdot Mirror

← Back to Topics

Topic: Opensource · 1 stories (clear)

• seL4 Verified Microkernel Now Open Source
  Developers · Opensource · 2014-07-29 09:08 · posted by Unknown · from the formal-verification-for-the-rest-of-us dept. · 82 comments