OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
book title
Integrated Formal Methods
editor
Jim Davies and Jeremy Gibbons
publisher
Springer-Verlag
series
Lecture Notes in Computer Science
volume
4591
year
2007
BibTeX
Jim Davies
