OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
A.W. Roscoe, P.J. Armstrong and Pragyesh
book title
To appear in Proc ATVA 2009 (Springer)
year
2009
BibTeX
Download (pdf)
Bill Roscoe
