OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
A. C. Simpson
book title
Proceedings of Teaching Formal Methods 2006
year
2006
BibTeX
