OUCL
news
admissions
research
teaching
people
calendar
resources
vacancies
login
OXFORD UNIVERSITY COMPUTING LABORATORY
by date | by title | by type | bibtex
[1]
Symbolic Backwards Reachability Analysis for Higher-Order Pushdown Systems
M. Hague, C.-H. L. Ong
In FoSSaCS 2007.
Details | BibTeX | Download (pdf)
