Wed 19 Aug 2009
A formally verified kernel
Posted by saari under Uncategorized
No Comments
http://www.nicta.com.au/news/home_page_content_listing/world-first_research_breakthrough_promises_safety-critical_software_of_unprecedented_reliability
Archive for August 19th, 2009
Daily Archive
