OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Lee Momtahan, Andrew Martin and A. W. Roscoe
book title
Proceedings of Web Languages and Formal Methods
year
2005
BibTeX
Andrew Martin
