Symbolic Backwards−Reachability Analysis for Higher−Order Pushdown Systems
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Izdano: |
2008
|
Search Result 1
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
Izdano 2007
Conference item