Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems

Matthew Hague, C.-H. Luke Ong

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

1 Conference contribution

1 results

2007

Symbolic Backwards Reachability Analysis for Higher‐Order Pushdown Systems
Hague, M. & Ong, C.-H. L., 2007, FoSSaCS: Foundations of Software Science and Computation Structures.
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution