OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Christie Bolton and Jim Davies
journal
Formal Aspects of Computing
number
2
pages
181-210
volume
18
year
2006
BibTeX
Jim Davies
