OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
A. W. Roscoe and L. H. Nguyen
journal
Information and Computation
pages
250-271
volume
206
year
2008
BibTeX
Link (pdf)
Bill Roscoe