Skip to main content

Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems

M. Hague and C.−H. L. Ong

Book Title
FoSSaCS
Year
2007