Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
Details
| Journal |
Logical Methods in Computer Science |
| Volume |
4 |
| Year |
2008 |
Links
DOI (10.2168/LMCS-4(4:14)2008)
Related pages
|
People |