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 (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
> Tobias

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