Home Search Progress Special Main Page

Main Page Recent Search Import Progress Special Pages Random Article

Page tools

Discussion Page information Revision history Edit source What links here Protection

Categories

Oxford University Computing Laboratory
Tony Hoare
Departments of the University of Oxford
Educational institutions disestablished in 2011
1965 establishments in England
Educational institutions established in 1965
2011 disestablishments in England
Computer science institutes in the United Kingdom
Formal methods organizations
Research groups

What links here

Programming Research Group

Tony Hoare

article-link

Z notation

article-link