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