OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
A. P. Martin
journal
Formal Aspects of Computing
pages
199—209
volume
12
year
2000
BibTeX
Andrew Martin
