Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
Details
| Book Title |
FoSSaCS |
| Note | |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Activities |
|
|
Themes |