OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
S. McKeever and W. Luk
journal
Formal Aspects of Computing
number
18
pages
120-142
year
2006
BibTeX
Steve McKeever
