NICTA's formal code verification technology has scored a place in MIT Technology Review's 2011 TR10, an annual list of what the Review assesses to be the world's ten most important emerging ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results