OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
studentships
login
OXFORD UNIVERSITY COMPUTING LABORATORY
by date | by title | by type | bibtex
[1]
Decision Procedures — an Algorithmic Point of View
Kroening, Daniel, Strichman, Ofer
Springer. 2008.
To appear.
Details | BibTeX
[2]
Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems
M. Hague, C.-H. L. Ong
In FoSSaCS 2007.
Long Version (pdf)
Details | BibTeX | Download (pdf)
