OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
by date | by title | by type | bibtex
[1]
Homer: A Higher-order Observational equivalence Model checkER
David Hopkins, Luke Ong
CAV 09, 2009.
Details | BibTeX | Download (pdf)
