Re: [isabelle] TR10



But it seems to be mentioned in the comments ... :-)

- Steven

On 22.07.2011, at 16:23, Tobias Nipkow wrote:

> MIT's TR10 for 2011 http://www.technologyreview.com/tr10/ (the list of
> 10 emerging technologies that MIT's Technology Review think will have
> the greatest impact) contains NICTA's operating system kernel
> verification led by Gerwin Klein, which uses Isabelle, although that is
> not mentioned in the article http://www.technologyreview.com/article/37206/.
> 
> Tobias
> 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.