OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
A. W. Roscoe and G. Lowe
institution
University of Leicester
note
and IEEE transactions on Software Engineering Vol 23 (1997)
year
1996
BibTeX
Link (ps)
Bill Roscoe
