Search This Blog

Thursday, August 13, 2009

Worlds 1st Formally proven os kernel

http://rss.slashdot.org/~r/Slashdot/slashdot/~3/61FoUdvs6oc/Worlds-First-Formally-Proven-OS-Kernel

No comments:

Post a Comment