OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
A. Simpson, J. Woodcock and J. Davies
book title
Proceedings of the Ninth International Workshop on Software Specification and Design
publisher
IEEE Press
year
1998
BibTeX
Jim Davies
