OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
James Welch, David Faitelson and Jim Davies
book title
Proceedings of Software Engineering and Formal Methods (SEFM) 2005
publisher
IEEE Computer Society Press
year
2005
BibTeX
Jim Davies | James Welch
