OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
Andrew Martin
book title
Proceedings of Australian Refinement Workshop
publisher
University of Queensland
year
1996
BibTeX
Link (ps.gz)
